According to the assumption we have
an+2an+1−an+1an=1.
Thus, {an+1an} is an arithmetic progression with first term 1 and common difference 1. Hence
an+1an=n,n=1,2,…
So an+2=an+1n+1=nn+1=nn+1an,n=1,2,…. Consequently,
a2004=20022003a2002=20022003⋅20002001a2000=⋯=20022003⋅20002001⋅⋯⋅23a2=2⋅4⋅⋯⋅20023⋅5⋅⋯⋅2003