lean_workbook_plus_49955
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49955 : ∀ x : ℝ, x^4 + 2*x^3 + 3*x^2 + 2*x + 1 ≥ 4*x^3 + 4*x^2 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49955 : ∀ x : ℝ, x^4 + 2*x^3 + 3*x^2 + 2*x + 1 ≥ 4*x^3 + 4*x^2 := by sorry