lean_workbook_plus_47428
ProvedProve that for positive x,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47428 (x : ℝ) (hx : 0 < x) : 3*x^4 + 1 ≥ 4*x^3 := by sorry
Source
Prove that for positive x,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47428 (x : ℝ) (hx : 0 < x) : 3*x^4 + 1 ≥ 4*x^3 := by sorry