Una secuencia infinita $\{ a_n \}_{n \ge 0}$ de números reales satisface $a_n \ge n^2$. Supón que para cada $i, j \ge 0$ existen $k, l$ con $(i,j) \neq (k,l)$, $l - k = j - i$, y $a_l - a_k = a_j - a_i$. Demuestra que $a_n \ge (n + 2016)^2$ para algún $n$.