Go backward to Limit Quantor
Go up to Top
Go forward to Example
Definition: Let a be an infinite sequence over R. The series corresponding to a is the sequence where every element sn is the sum of the first n+1 elements of a:
series: (N -> R) -> (N -> R) series(a)n := (sum0 <= i <= n ai).
Consequence: If a = [T]i, then series(a) = [(sum0 <= i <= n T)]n.
Sequence of (partial) sequence sums.