lean_workbook_plus_28546
Disprovedprove that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_28546 : ∀ x y z : ℝ, x^3 + y^3 + z^3 + 33 ≥ 4 * (x + y + z)^2 := by sorry
Source
prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_28546 : ∀ x y z : ℝ, x^3 + y^3 + z^3 + 33 ≥ 4 * (x + y + z)^2 := by sorry