>>988
(a^b)(b^c)(c^a) と (abc)^{(a+b+c)/3} との大小は定まるかな？