Problem

Source: 2023 IMOC A3

Tags: inequalities, algebra



Given positive reals $x,y,z$ satisfying $x+y+z=3$, prove that \[\sum_{cyc}\left( x^2+y^2+x^2y^2+\frac{y^2}{x^2}\right)\geq 4\sum_{cyc}\frac{y}{x}.\] Proposed by chengbilly.