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}$$
Enlaces:
[1] https://www.matetam.com/problemas/algebra
[2] https://www.matetam.com/problemas/numeros
[3] https://www.matetam.com/categoria/nivel/avanzado
[4] https://www.matetam.com/problemas/categoria/olimpiada-internacional-matematicas/imo-2014