lean_workbook_plus_68334

Disproved

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

Prove that \n\n $2a^2+2b^2+2c^2 + a^2b^2+b^2c^2+c^2a^2 \geq 72 $\n

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_68334 : ∀ a b c : ℝ, 2*a^2 + 2*b^2 + 2*c^2 + a^2*b^2 + b^2*c^2 + c^2*a^2 ≥ 72   :=  by sorry

Source