lean_workbook_plus_31955
ProvedProve that \n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_31955 (x y z : ℝ) : (x^2 + y^2 + z^2)^3 ≥ 3 * (x^2 * y + y^2 * z + z^2 * x)^2 := by sorry
Source
Prove that \n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_31955 (x y z : ℝ) : (x^2 + y^2 + z^2)^3 ≥ 3 * (x^2 * y + y^2 * z + z^2 * x)^2 := by sorry