SequenceLimit

Input: SequenceLimit(f(n), For(n, a))
$$\lim_{n \to a} f(n)$$

Limiting value of sequence. Equivalent to Limit(f(n), For(n, a), Element(n, ZZ)).

Input: SequenceLimit(f(n), For(n, a), P(n))
$$\lim_{n \to a,\,P(n)} f(n)$$

Equivalent to Limit(f(n), For(n, a), And(Element(n, ZZ), P(n)).

Last updated: 2020-03-06 00:22:16