lean_workbook_plus_22447
ProvedLet be real numbers such that \nProve that :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_22447 (a b : ℝ) (ha : a + b >= 2) : a^4 + b^4 >= a^3 + b^3 := by sorry
Source
Let be real numbers such that \nProve that :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_22447 (a b : ℝ) (ha : a + b >= 2) : a^4 + b^4 >= a^3 + b^3 := by sorry