Problem

Source:

Tags: inequalities



Suppose $a, b, c, d$ are positive reals such that $a \geq b \geq c \geq d$ and $ab^2c^3d^4 = 1$. Help Janson prove that $a+b+c+d \geq 4$.