>>195
Xが実数よりX^2≧0だから相加相乗平均の関係を使う。