lean_workbook_plus_47645
ProvedProve for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47645 (x : ℝ) (hx : x > 0) : x^3 + x + 1/x - x^2 > 3/2 := by sorry
Source
Prove for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47645 (x : ℝ) (hx : x > 0) : x^3 + x + 1/x - x^2 > 3/2 := by sorry