>>400 と同じだが・・・・

〔補題〕
x_ij > 0 のとき
 A_i = (Σ[j=1,m] x_ij)/m,   (i=1,2,・・・・,n)
 H_j = n/(Σ[i=1,n] 1/x_ij),  (j=1,2,・・・・,m)
とおくと、
 (H1 + H2 + ・・・・ + Hm)/m ≦ n/(1/A1 + 1/A2 + ・・・・・ + 1/An),