Chứng minh (n^5)/5 + (n^4)/2 + (n^3)/3 - n/30 luôn là số nguyên dương với mọi

số nguyên uk+1 nên là số nguyên.

Kết luận theo nguyên lí quy nạp thì un là số nguyên.