lean_workbook_plus_62356

Disproved

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

Prove that $abc \ge \frac{{4\left( {ab + bc + ca} \right)\left( {a + b + c} \right) - {{\left( {a + b + c} \right)}^3}}}{9}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_62356 : ∀ a b c : ℝ, a * b * c ≥ (4 * (a * b + b * c + c * a) * (a + b + c) - (a + b + c) ^ 3) / 9   :=  by sorry

Source