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