lean_workbook_plus_23970
ProvedProve that for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_23970 (x : ℝ) (hx: x ≥ 2) : x^8 + x^7 - x^5 - x^4 - x^3 + x + 1 > x^8 := by sorry
Source
Prove that for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_23970 (x : ℝ) (hx: x ≥ 2) : x^8 + x^7 - x^5 - x^4 - x^3 + x + 1 > x^8 := by sorry