lean_workbook_plus_35540

Proved

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

Prove that $\frac{3x^2(x^2-4)+x^2+4}{2x(x^2-1)^3}>0$ for all $x \geq 2$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_35540 (x : ℝ) (hx : 2 ≤ x) : (3 * x ^ 2 * (x ^ 2 - 4) + x ^ 2 + 4) / (2 * x * (x ^ 2 - 1) ^ 3) > 0   :=  by sorry

Source