La sucesión de números reales $a_1,a_2,\ldots,$ se define como:\n $$a_1=56,\hspace{2mm} a_{n+1}=a_n-\frac{1}{a_n}$$\npara cada entero $n\geq 1$.\nDemuestra que existe un entero $k$, $1\leq k\leq 2002$, tal que $a_k<0$.