lean_workbook_plus_38288
ProvedProve that if .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38288 (x : ℝ) (hx : x ≥ 0) : 2 * x ^ 5 - 5 * x ^ 2 + 3 ≥ 0 := by sorry
Source
Prove that if .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38288 (x : ℝ) (hx : x ≥ 0) : 2 * x ^ 5 - 5 * x ^ 2 + 3 ≥ 0 := by sorry