lean_workbook_plus_52468

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Prove that for any $x > 0$ , then \n $ 2x^4 + 12x^3 - 7x + 2 > 0.

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_52468 (x : ℝ) (hx : 0 < x) : 2 * x^4 + 12 * x^3 - 7 * x + 2 > 0   :=  by sorry

Source