Let a1,a2,a3,… be an infinite sequence of positive integers satisfying the conditions of the problem. From an+1≤an+5 (n=1,2,…) it follows that for every n an≤5(n−1)+a1 is satisfied. In particular, for all sufficiently large n an<6n is satisfied (in fact, n≥a1−4 will do.) As an is a multiple of n by assumption, we see that an≤5n for all sufficiently large n.
Suppose there exists an n for which an>5n. Since there are only a finite number of such n's, as we saw above, there must be the largest such n, which we denote by N. Then, aN>5N and aN+1≤5(N+1). As aN is a multiple of N, we in fact have aN≥6N. From
5≥aN−aN+1≥6N−5(N+1)=N−5
we obtain that N≤10. We have thus shown that if n≥11, then an≤5n. In particular, a11≤55. and since an is a multiple of n and does not exceed an+1+5, we obtain recursively,
a10a5≤60,a9≤63,a8≤64,a7≤63,a6≤66,≤70,a4≤72,a3≤75,a2≤80,a1≤85.
If, on the other hand, we define
a1a7=85,a2=80,a3=75,a4=72,a5=70,a6=66,=63,a8=64,a9=63,a10=60,an=5n (n≥11)
then this sequence can be shown to satisfy the conditions of the problem, and hence we conclude that 85 is the desired maximum.