Para enteros positivos fijos $s, t$, define $a_n$ como lo siguiente.\n$a_1 = s, a_2 = t$, y $\forall n \ge 1$, $a_{n+2} = \lfloor \sqrt{a_n+(n+2)a_{n+1}+2008} \rfloor$. Demuestra que el conjunto de soluciones de $a_n \not= n$, $n \in \mathbb{N}$ es finito.