Telescoping_Series_Example_1
Provedproofwikiseriestelescoping-series
The series sum 1/(n(n+1)) = 1.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
import Mathlib.Analysis.Complex.Basic theorem Telescoping_Series_Example_1 : HasSum (fun n : ℕ => (1 : ℝ) / ((n + 1) * (n + 2))) 1 := by sorry
Source