MathNet 2002 — Part 01 Question 124

The sequence $a_{n}$ is defined as follows: $a_{1}=56$, $a_{n+1}=a_{n}-1/a_{n}$. Show that $a_{n}\lt 0$ for some $n$ such that $0\lt n\lt 2002$.