lean_workbook_plus_14238
Provedprove that for ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_14238 (x : ℝ) : (x^6 - x^5 + x^4 - x^3 + x^2 - x + 1) ≥ 1/2 := by sorry
Source
prove that for ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_14238 (x : ℝ) : (x^6 - x^5 + x^4 - x^3 + x^2 - x + 1) ≥ 1/2 := by sorry