Description: Sum of a telescoping series, using half-open intervals. (Contributed by Mario Carneiro, 2-May-2016)
Ref | Expression | ||
---|---|---|---|
Hypotheses | telfsumo.1 | |
|
telfsumo.2 | |
||
telfsumo.3 | |
||
telfsumo.4 | |
||
telfsumo.5 | |
||
telfsumo.6 | |
||
Assertion | telfsumo | |