>>668
S_k = p[k]/binomial(n,k) とおいて、(S_k)^2 ≧ S_(k-1)・S_(k+1) を示し、これを用いるのぢゃ