Conceptintro
Telescoping sum
Also called Telescoping sums, telescoping product, telescoping series.
A sum of differences whose interior terms cancel, so the sum equals the difference of the endpoint terms.
A sum of differences whose interior terms cancel, so the sum equals the difference of the endpoint terms.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag C9GGKD Edit this page History Report an error