Prove2Me

lean_workbook_plus_69250

Proved

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

Prove that 30011000<(1+46003)2001\frac{3001}{1000}<(1+\frac{4}{6003})^{2001}.

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_69250 : (3001:ℝ) / 1000 < (1 + 4 / 6003)^2001   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph