Prove2Me

lean_workbook_plus_50449

Disproved

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

Prove that (1+1n+1)n+1≥2 \left( {1 + \frac{1}{{n + 1}}} \right)^{n + 1} \ge 2.

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_50449 : ∀ n : ℕ, (1 + 1 / (n + 1)) ^ (n + 1) ≥ 2   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph