〔補題〕
 a_ij>0, (i=1,2,・・・・・,n)(j=1,2,・・・・,m)
 Σ[j=1,m] a_ij = A_i, とおくとき

 Σ[j=1,m] 1/{Σ[i=1,n] 1/a_ij} ≦ 1/(1/A1 + 1/A2 + ・・・・・ + 1/An),

 (by kuing, Nov.20, 2009, 5:47 am) m=2
 (by Mavropnevma, Jun.10, 2011, 2:25 pm) m=2