Go backward to Geometric SeriesGo up to TopGo forward to Limit of Geometric Serries |

*Definition:*
For every variable `i` and term `T`, the following phrase
denotes a term with bound variable `i`:

(sum_{i=0}^{ oo }T)

The value of this term is

lim_{n -> oo }(sum_{0 <= i <= n}T).

*( sum_{i=0}^{ oo } T)
is only well defined if [(sum_{0 <= i <= n} T)]_{n} is convergent.*

Author: Wolfgang Schreiner

Last Modification: December 14, 1999