1 Sea \( a_{0} = 1994 \) y \( a_{n + 1} = \frac {a_{n}^{2}}{a_{n} + 1} \) para cada entero no negativo \( n \). Demuestra que \( 1994 - n \) es el mayor entero menor o igual que \( a_{n} \), para \( 0 \leq n \leq 998 \).