The sequence {a_{n}} is defined by for . Prove that for , where denotes the largest integer no larger than x.

The recurrence is equivalent to

so

Note that . Therefore we have

Also, is positive for i < 1004. Thus,

for . Thus,

which implies , completing the proof.