Problem

Source: 2018 Thailand TST 1.1

Tags: inequalities



Let $x, y, z$ be positive reals such that $xyz = 1$. Prove that $$\sum_{cyc} \frac{1}{\sqrt{x+2y+6}}\leq\sum_{cyc} \frac{x}{\sqrt{x^2+4\sqrt{y}+4\sqrt{z}}}.$$