Test Contest 1 Problem A

Let $x, y, z$ be positive real numbers. Show that $$x^2 + xy^2 + xyz^2 \ge 4xyz - 4.$$

Replace sorry in the template below with your solution. Mathlib version used by the checker is v4.29.0.

import Mathlib.Data.Real.Basic

theorem solution (x y z : ℝ) (hx : 0 < x) (hy : 0 < y) (hz : 0 < z) :
    x ^ 2 + x * y ^ 2 + x * y * z ^ 2 ≥ 4 * x * y * z - 4 := sorry

Submit Solution

Login to submit a solution.

Recent Submissions