lean_workbook_plus_32227
ProvedProve that for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_32227 (n : ℕ) (h : n > 2) : n^3 - n + 1 > n^2 + n + 1 := by sorry
Source
Prove that for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_32227 (n : ℕ) (h : n > 2) : n^3 - n + 1 > n^2 + n + 1 := by sorry