KMO 2006 Problem 6

Prove that for any positive real numbers $x,y$ and $z,$ $xyz(x+2)(y+2)(z+2)\le(1+\frac{2(xy+yz+zx)}{3})^3$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.