The sequence $(a_n)$ is determined by $a_1 = 0$ and $(n+1)^3a_{n+1} = 2n^2(2n+1)a_n+2(3n+1)$ for $n \geq 1$. Prove that infinitely many terms of the sequence are positive integers.
Source: Federal Mathematical Competition of Serbia and Montenegro 2004
Tags: number theory
The sequence $(a_n)$ is determined by $a_1 = 0$ and $(n+1)^3a_{n+1} = 2n^2(2n+1)a_n+2(3n+1)$ for $n \geq 1$. Prove that infinitely many terms of the sequence are positive integers.