lean_workbook_plus_42832

Disproved

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

Prove that $\frac{(1-a)^2}{(1+a)^3} \geq \frac{-63a + 33}{64}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_42832 : ∀ a : ℝ, (1 - a) ^ 2 / (1 + a) ^ 3 ≥ (-63 * a + 33) / 64   :=  by sorry

Source