>>392
n^3+5n=n(n^2+5)=n{(n^2-1)+6}=(n-1)n(n+1)+6n
帰納法カタルイ