lean_workbook_plus_55593
ProvedProve that for all real values of where
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_55593 (x : ℝ) : 2 * x ^ 8 + 3 * x ^ 2 + 6 - 5 * x ^ 3 - 4 * x > 0 := by sorry
Source
Prove that for all real values of where
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_55593 (x : ℝ) : 2 * x ^ 8 + 3 * x ^ 2 + 6 - 5 * x ^ 3 - 4 * x > 0 := by sorry