lean_workbook_plus_78005
Disprovedprove that : , given
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78005 (x y : ℝ) (hxy : x > y) (hy : y > 0) : (x^4 - y^4) / (4 * x^3) > x - y := by sorry
Source
prove that : , given
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78005 (x y : ℝ) (hxy : x > y) (hy : y > 0) : (x^4 - y^4) / (4 * x^3) > x - y := by sorry