lean_workbook_plus_57997
ProvedLet be real number . Prove that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57997 (x : ℝ) : x^8 - x^5 + x^2 - 5 * x + 4 ≥ 0 := by sorry
Source
Let be real number . Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57997 (x : ℝ) : x^8 - x^5 + x^2 - 5 * x + 4 ≥ 0 := by sorry