正の数 a, b が a+b=1をみたすとき、任意の正の数 x, y に対して ax+by ≧ x^a y^b.

これはAM-GMの一般化でござるかな?