5 IMO 2007 HKTST 1 Problema 5 La sucesión $\{a_{n}\}$ está definida por $a_{1}=0$ y $(n+1)^{3}a_{n+1}=2n^{2}(2n+1)a_{n}+2(3n+1)$ para todo entero $\geq 1$ . Demuestre que infinitos miembros de la sucesión son enteros positivos.