lean_workbook_plus_27251
ProvedProve that for all , we have \n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27251 (x : ℝ) : (x^3 - 1) / 3 ≤ (x^4 - 1) / 4 := by sorry
Source
Prove that for all , we have \n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27251 (x : ℝ) : (x^3 - 1) / 3 ≤ (x^4 - 1) / 4 := by sorry