>>490
(1)
a≧b≧c として一般性を失わない。
f(x) = \sqrt[(x+1)/(x^2-x+1) とおく。

・a ≦ 32.8295 のとき
g(x) = (-1/(2\sqrt[2]) * log[x] + \sqrt[2]) とおくと f(x) ≦ g(x) が成り立つ。よって
Σ[cyc] f(a) ≦Σ[cyc] g(a) = 3\sqrt[2]
となる。

・a ≧ 32.8295 のとき
a > 32.8295,0 < c < 1/\sqrt[32.8295] = 0.1745 である。よって
f(a) ≦ f(32.8295) = 0.1798
f(b) ≦ f(0.7320) = 1.4678
f(c) ≦ f(0.1745)= 1.1714
つまり
f(a) + f(b) + f(c) ≦ 0.1798 + 1.4678 + 1.1714 = 2.8190 ≦ 3\sqrt[2]
となる。

どや