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