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