>>680
コーシー・シュワルツの不等式
(納k=1,n]k^2)(納k=1,n]a(k)^2) ≧ {納k=1,n]k*a(k)}^2
左辺は a(k) の取り方によらない。
等号成立は 任意の i,j (i<j) に対して a(i)/a(j)=i/j つまり a(i)=i