lean_workbook_plus_23604
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_23604 : ∀ a b c : ℝ, (a^2+b^2+c^2)^3 ≥ 27*a^2*b^2*c^2 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_23604 : ∀ a b c : ℝ, (a^2+b^2+c^2)^3 ≥ 27*a^2*b^2*c^2 := by sorry