>> 18
Cirtoajeのプレプリのアイデアを応用すれば, x,y,z が正のとき,
x^9+y^9+z^9 + 6x^3 y^3 z^3 ≧ xyz((x^6+y^6+z^6)+(x^3y^3+y^3z^3+z^3x^3))
が成り立つことは証明できますが, 泥臭くて長い計算(A4版TeX印刷で2ページくらい)になります。
p=x+y+z, q=xy+yz+zx, r=xyz とおいて, 不等式の (左辺)-(右辺) をp,q,rで書き直したとき, rの2次式になるのがポイントです。
鮮やかな簡明な証明は思いつきません。
ところで, 次の問題のほうがずっと難しいと思いますよ(私の証明でA4版10ページくらい)。
x, y, z が正のとき
x^5+y^5+z^5 + (5 \root{4}\of{5}/4 - 1)xyz(x^2+y^2+z^2)
≧ (5 \root{4}\of{5}/4)(x^4y+y^4z+z^4x)

斉次対称不等式はいろいろな一般論が利用できますが, 巡回不等式のほうは難しいのです。