Solution:
Note that whilst an remains positive we have a1>a2>a3>…>an. Hence if am and am+n are in this part of the sequence, then am+1=am−1/am, am+2=am+1−1/am+1<am+1−1/am=am−2/am. By a trivial induction am+n<am−n/am.
If we use one step then we need 562=3136 terms to get a1+3136<56−562/56=0, which is not good enough. So we try several steps.
Thus suppose that an>0 for all n≤2002. Then we get successively:
a337<56−336/56=50
a837<50−500/50=40
a1237<40−400/40=30
a1537<30−300/30=20
a1737<20−200/20=10
a1837<10−100/10=0.
Contradiction. So we must have an<0 for some n<2002.