lean_workbook_plus_61597

Disproved

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

Prove that $x^3 + y^3 + z^3 \geq xy(x+y) + xz(x+z) + yz(y+z)$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_61597 : ∀ x y z : ℝ, x ^ 3 + y ^ 3 + z ^ 3 ≥ x * y * (x + y) + x * z * (x + z) + y * z * (y + z)   :=  by sorry

Source