lean_workbook_plus_37909
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_37909 : ∀ x y z : ℝ, (3*x+4*y+5*z)^2 ≥ 24*(3*y*z+2*x*z+x*y) := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_37909 : ∀ x y z : ℝ, (3*x+4*y+5*z)^2 ≥ 24*(3*y*z+2*x*z+x*y) := by sorry