>>142
こんなのもあるみたい。
https://artofproblemsolving.com/community/c6h463340p2597719
a, b, c≧0に対して、
(ab+bc+ca)(a^4+b^4+c^4) ≧ (9/8)(a^2+bc)(b^2+ca)(c^2+ab) ≧ (ab+bc+ca){(ab)^2+(bc)^2+(ca)^2}