MathDB
Lower bound on a product

Source: RMO Maharashtra and Goa 2016, P5

October 11, 2016
inequalitiesalgebra

Problem Statement

Let x,y,zx,y,z be non-negative real numbers such that xyz=1xyz=1. Prove that (x3+2y)(y3+2z)(z3+2x)27.(x^3+2y)(y^3+2z)(z^3+2x) \ge 27.