VMO 1996 Problem 6
Let w, x, y, z be non-negative reals such that 2(wx + wy + wz + xy + xz + yz) + wxy + xyz + yzw + zwx = 16. Show that 3(w + x + y + z) ≥ 2(wx + wy + wz + xy + xz + yz).
Community text Kalva (prase.cz mirror). 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.
Similar problems
These problems have the most words in common with this statement.