lean_workbook_plus_57822

Proved

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

Prove $64y^3+8y+28 \ge 100y^2$ for $y \ge \frac{1}{2}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_57822 (y : ℝ) (hy : y ≥ 1/2) : 64*y^3 + 8*y + 28 ≥ 100*y^2   :=  by sorry

Source