納k=1→n]k^4=(1/30)n(n+1)(6n^3+9n^2+n-1)で合ってますか?