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