Go backward to Example Go up to Top Go forward to Series |
Definition: For every variable i and term T, the following phrase represents a term with bound variable i:
limi -> oo T
The value of this term is that of the term
lim([T]i).
Further Results: see lecture notes.