lean_workbook_plus_76746

Proved

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

Prove that $3 (x - 1)^2 (2 x^4 + 4 x^3 + 21 x^2 + 10 x + 44)\geq 0$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_76746 : ∀ x : ℝ, 3 * (x - 1) ^ 2 * (2 * x ^ 4 + 4 * x ^ 3 + 21 * x ^ 2 + 10 * x + 44) ≥ 0   :=  by sorry

Source