>>295
正値関数 f(x), g(x) について、
(1/2)(f(x) + g(x)) ≧ √(f(x)g(x)) がなりたつ（相加相乗平均）。
しかし、これは左側の関数の値より右側が小さいというだけで、左側関数の
最小値を与えるわけではない。例外として、右側関数が定数になっていれば、
この関係から左側関数の最小値を得られる。