MathNet 2014 Question 33

Let $a_0\lt a_1\lt a_2\lt \cdots$ be an infinite sequence of positive integers. Prove there is a unique integer $n\ge1$ such that
$$a_n\lt \frac{a_0+a_1+\cdots+a_n}{n}\le a_{n+1}.$$