IMO

Sea $a_1, a_2, a_3, \dots$ una sucesión de números reales positivos. Se tiene que para algún entero positivo $s$, \[a_n = a_{\ell} + a_{n - \ell} \ \textrm{ for all } \ n \geq N.\] para todo $n > s$. Demuestre que existen enteros positivos $\ell$ y $N$ , con $\ell \leq s$, tales que $a_n = a_{\ell} + a_{n−\ell}$ para todo $n \geq N$.