lean_workbook_plus_69332

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Prove that $x^6 + y^6 + z^6 \ge 3(xyz)^2$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_69332 (x y z : ℝ) : x ^ 6 + y ^ 6 + z ^ 6 ≥ 3 * (x * y * z) ^ 2   :=  by sorry

Source