>>426
上のはさみうちは間違いです
そうなんです、平均値の定理が使えそうな気がしたんです
f(t)=log(t)と置いて、log(x)-log(y)/x-y≧0⇔f(x)-f(y)/x-y≧0
となりますが、その後どうすれば？