lean_workbook_plus_73917
DisprovedProve that :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_73917 : ∀ a b c d : ℝ, a^3 + b^3 + c^3 + d^3 ≥ (a + b + c + d)^3 := by sorry
Source
Prove that :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_73917 : ∀ a b c d : ℝ, a^3 + b^3 + c^3 + d^3 ≥ (a + b + c + d)^3 := by sorry