Problem

Source: Turkey Junior National Olympiad 2022 P1

Tags: algebra, algebra proposed, AM-GM, Inequality, inequalities



$x, y, z$ are positive reals such that $x \leq 1$. Prove that $$xy+y+2z \geq 4 \sqrt{xyz}$$