a, b >0 に対して、aabb(aa+bb-2)≧(ab-1)(a+b).

非同次は苦手でおじゃる。