{(1/a)+(1/b)}/2≧1/√ab>0 ⇔ 2/{(1/a)+(1/b)}≦√ab