P1. IMO 2014 - Sucesión Inifinita

Versión para impresión
Sin votos (todavía)

Sea $a_0<a_1< a_2 < \cdots $ una sucesión infinita de números enteros positivos. Demostrar que existe un único entero $n \geq 1$ tal que $$a_n < \frac{a_0+a_1 + \cdots + a_n}{n} \leq a_{n+1}$$