lean_workbook_plus_81050

Proved

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

For $x > 0$ , prove the inequality:\n $\frac{1}{4x^2+1}\geq \frac{-8x}{25}+\frac{13}{25}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_81050 (x : ℝ) (h₀ : 0 < x) : 1 / (4 * x^2 + 1) ≥ -8 * x / 25 + 13 / 25   :=  by sorry

Source