MathDB
Asymmetric Inequality

Source: 2019 Baltic Way P1

November 18, 2019
algebrainequalities

Problem Statement

For all non-negative real numbers x,y,zx,y,z with xyx \geq y, prove the inequality x3y3+z3+16(xy)xyz.\frac{x^3-y^3+z^3+1}{6}\geq (x-y)\sqrt{xyz}.