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