MathDB
Σx_i \cdot Σ1/x_i >= 4 (Σχ_i/(x_ix_j+1))^3 , i=1,2,3

Source: JBMO 2008 Shortlist A8

October 14, 2017
JBMOinequalitiesalgebra

Problem Statement

Show that (x+y+z)(1x+1y+1z)4(xxy+1+yyz+1+zzx+1)2(x + y + z) \big(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\big) \ge 4 \big(\frac{x}{xy+1}+\frac{y}{yz+1}+\frac{z}{zx+1}\big)^2 , for all real positive numbers x,yx, y and zz.