Ta có :n5_ 5n3+4n
=n(n4-5n2+4)=n(n4-4n2-n2+4)=n(n2(n2-4)-(n2-4))
=n(n2_ 4)(n2-1)=(n-2)(n-1)n(n+1)(n+2)
Vì tích trên là tích của 5 số tự nhiên liên tiếp nên tích này chia hết cho 3,5,8 . Mà 3,5 và 8 nguên tố cùng nhau và 3*5*8=120
⇔(n-2)(n-1)n(n+1)(n+2) ⋮ 120 ∀ n ϵ N⇔n5-5n3+4n⋮120 ∀ n ϵ N.