lean_workbook_plus_44821

Proved

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

Lemma: For $x > 0$ , prove that $\frac{x}{x^3+9x+6}\leq \frac{3}{25x}+\frac{1}{100}$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_44821 (x : ℝ) (hx : 0 < x) : x / (x^3 + 9 * x + 6) ≤ 3 / (25 * x) + 1 / 100   :=  by sorry

Source