Sea $\{ a_n\}$ una serie que consiste en enteros positivos tales que $n^2 \mid \sum_{i=1}^{n}{a_i}$ y $a_n\leq (n+2016)^2$ para todo $n\geq 2016$ . Define $b_n=a_{n+1}-a_n$ . Demuestra que la serie $\{ b_n\}$ es eventualmente constante.