MathDB
why is RHS so large

Source: 2023 IMOC A3

September 17, 2023
inequalitiesalgebra

Problem Statement

Given positive reals x,y,zx,y,z satisfying x+y+z=3x+y+z=3, prove that cyc(x2+y2+x2y2+y2x2)4cycyx.\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.