lean_workbook_plus_68596

Proved

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

Prove $47x^9+90x^8+x^7-52x^6+137x^5+318x^4+247x^3+88x^2+14x+1\geq 0$ when $x\geq 0$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_68596 : ∀ x : ℝ, x >= 0 → 47 * x ^ 9 + 90 * x ^ 8 + x ^ 7 - 52 * x ^ 6 + 137 * x ^ 5 + 318 * x ^ 4 + 247 * x ^ 3 + 88 * x ^ 2 + 14 * x + 1 >= 0   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph