lean_workbook_plus_48183
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_48183 (x:ℝ) : 6 * (x ^ 10 + x ^ 8) - 8 * x ^ 9 - 3 * x ^ 8 - 7 * x ^ 3 + 7 ≥ 4 * x ^ 9 - 3 * x ^ 8 - 7 * x ^ 3 + 7 := by sorry
Source