lean_workbook_plus_79990
ProvedFind the least value of the expression .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_79990 (a : ℝ) : (a^6 + a^4 - a^3 - a + 1) ≥ 1/4 := by sorry
Source
Find the least value of the expression .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_79990 (a : ℝ) : (a^6 + a^4 - a^3 - a + 1) ≥ 1/4 := by sorry