lean_workbook_plus_61056

Disproved

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

Alternatively, if $x<\frac{1}{10}$ then $\frac{x^2+11x+4}{3x^3+7x^2+5x+1}>3$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_61056 : ∀ x : ℝ, x < 1 / 10 → (x^2 + 11 * x + 4) / (3 * x^3 + 7 * x^2 + 5 * x + 1) > 3   :=  by sorry

Source