lean_workbook_plus_20385
ProvedShow that for all real .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_20385 : ∀ x : ℝ, 10 * x ^ 6 - 24 * x ^ 5 + 15 * x ^ 4 + 40 * x ^ 2 ≥ 0 := by sorry
Source
Show that for all real .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_20385 : ∀ x : ℝ, 10 * x ^ 6 - 24 * x ^ 5 + 15 * x ^ 4 + 40 * x ^ 2 ≥ 0 := by sorry