lean_workbook_plus_40957
Provedprove that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_40957 (a b c : ℝ) : a^8 + b^8 + c^8 ≥ a^4 * b^4 + b^4 * c^4 + c^4 * a^4 := by sorry
Source
prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_40957 (a b c : ℝ) : a^8 + b^8 + c^8 ≥ a^4 * b^4 + b^4 * c^4 + c^4 * a^4 := by sorry