lean_workbook_plus_11223
ProvedFind the limit: .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_11223 : ∀ (n : ℕ), ((n:ℝ) * (1 + 1/n)^n) = n * (1 + 1/n)^n := by sorry
Source
Find the limit: .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_11223 : ∀ (n : ℕ), ((n:ℝ) * (1 + 1/n)^n) = n * (1 + 1/n)^n := by sorry