Question 26
The sequence of real numbers $a_1, a_2, \dots$ is defined as:
$$
a_1 = 56 \quad y \quad a_{n+1} = a_n - \frac{1}{a_n} \quad \text{para cada entero} n \ge 1.
$$
Prove that there exists an integer $k$, $1 \le k \le 2002$, such that $a_k \lt 0$.
$$
a_1 = 56 \quad y \quad a_{n+1} = a_n - \frac{1}{a_n} \quad \text{para cada entero} n \ge 1.
$$
Prove that there exists an integer $k$, $1 \le k \le 2002$, such that $a_k \lt 0$.