Q2 Matemática  (Cono Sur Olympiad 1996)

Considere uma sequência de números reais definida por: $a_{n+1}=a_n+\frac{1}{a_n}$ for $n=0,1,2,...$ Prove que, para qualquer número real positivo $a_0$, é verdade que $a_{1996}$ é maior que $63$.