コーシー・シュワルツより n∑idi2≥(∑idi)2n\sum_i d_i^2\ge(\sum_i d_i)^2n∑idi2≥(∑idi)2。∑idi=2m\sum_i d_i=2m∑idi=2m を代入して ∑idi2≥4m2/n\sum_i d_i^2\ge4m^2/n∑idi2≥4m2/n を得る。