非負実数 a,b,c に対して、
(a-b)(a-c)a^4 + (b-c)(b-a)b^4 + (c-a)(c-b)c^4 ≧ 5{(a-b)(b-c)(c-a)}^2.

不等式の秋でござるな。(AA略)