>>915 >>918-919
難しすぎる。が、改造してみた。

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