Show by induction that an=(n+3)(n+2)(n+1)n for all n≥3.
First solution. The number a3=5⋅72=360 is an integer. For n≥4 the following equalities hold:
an=5⋅n−1a1+⋯+an−1andan−1=5⋅n−2a1+⋯+an−2,
from which it follows that
an=n−15(5n−2an−1+an−1)=n−1n+3an−1.
an=(n−1)(n−2)⋯⋅3(n+3)(n+2)⋯⋅7⋅a3=6⋅5⋅4⋅3(n+3)(n+2)(n+1)n⋅360=(n+3)(n+2)(n+1)n
is an integer, as required.
Second solution. Let Sn=a1+a2+⋯+an, then an+1=Sn+1−Sn.
To solve the problem, it is enough to show that all numbers Sn are integers. From the condition we have S1=1, S2=144, and the formula an+1=na1+a2+⋯+an takes the form Sn+1−Sn=n5Sn, whence Sn+1=nn+5Sn. Thus, for n≥2 we get
Sn+1=n(n−1)⋯⋅2(n+5)(n+4)⋯⋅7S2=
=6⋅5⋅4⋅3⋅2(n+5)(n+4)(n+3)(n+2)(n+1)⋅144=5(n+5)(n+4)(n+3)(n+2)(n+1)
Since at least one of the numbers n+5,n+4,n+3,n+2,n+1 is divisible by 5, for n≥2 the number Sn+1 is an integer.