MathDB
Inequality in 4 variables

Source: Problem 6, Polish NO 1989

October 1, 2005
inequalitiesinequalities unsolved

Problem Statement

Show that for positive reals a,b,c,da, b, c, d we have (ab+ac+ad+bc+bd+cd6)3(abc+abd+acd+bcd4)2 \left(\dfrac{ab + ac + ad + bc + bd + cd}{6} \right)^3 \geq \left(\dfrac{abc + abd + acd + bcd}{4}\right)^2