MathDB
Inequality with x, y, z >= 1

Source: Tuymaada 2018 Senior League/Problem 6, Junior League/Problem 7

July 20, 2018
inequalitiesalgebra

Problem Statement

Prove the inequality (x3+2y2+3z)(4y3+5z2+6x)(7z3+8x2+9y)720(xy+yz+xz)(x^3+2y^2+3z)(4y^3+5z^2+6x)(7z^3+8x^2+9y)\geq720(xy+yz+xz) for x,y,z1x, y, z \geq 1.
Proposed by K. Kokhas