a, b > 0 のとき a + b≧2(ab)^1/2 ⇒ (a + b)^2≧4ab
は成立する。
逆は成り立たない。