>>88
・x≧1 または y≧1 の場合は、明らか。
・x<1, y<1 のとき
　　f(x) = b^x (b>0) はxについて下に凸だから
　　(x,b^x)−(1,b) の傾き > (0,1)−(1,b) の傾き、
　　(b-b^x)/(1-x) > b-1,
　　b^x < x +b -bx, (ベルヌーイ不等式)
b→1/y とおくと
　　y^x > y/(x+y-xy),
同様にして
　　x^y > x/(x+y^xy),
辺々たす。