>Σ[k=2,p-1](Σ[i=1,k-1]( i*k ) )はpで割り切れる
Σ[k=2,p-1 i=1,k-1]ik
=Σ[k=2,p-1]k^2(k-1)/2
=p(p-1)(p-2)(3p-1)/24だから割り切れる


>lim[n→0]f(n)/n=0を示すことはそんなに難しくない。
わかんね、誰か教えてけれ