lean_workbook_plus_79527

Proved

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

Let $\frac{2a}{b+c}=x^4,$ where $x>0$ . Prove that: $2+x+x^3\geq\frac{8x^3}{x^4+1}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_79527 (x : ℝ) (hx : x > 0) : 2 + x + x^3 ≥ 8 * x^3 / (x^4 + 1)   :=  by sorry

Source