This operator can be called with three or four arguments.
SequenceLimit(f(n), n, a), rendered as limn→af(n), is equivalent to Limit(f(n), n, a, Element(n, ZZ)) but renders to LaTeX without displaying the predicate n∈Z
which readers will typically understand from context.
SequenceLimit(f(n), n, a, P(n)), rendered as limn→a,P(n)f(n), is equivalent to Limit(f(n), n, a, And(Element(n, ZZ), P(n))).
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| SequenceLimit | limn→af(n) | Limiting value of sequence |
| Limit | limx→af(x) | Limiting value |
| ZZ | Z | Integers |
Source code for this entry:
Entry(ID("1d2ee5"),
SymbolDefinition(SequenceLimit, SequenceLimit(f(n), n, a), "Limiting value of sequence"),
Description("This operator can be called with three or four arguments."),
Description(SourceForm(SequenceLimit(f(n), n, a)), ", rendered as", SequenceLimit(f(n), n, a), ", is equivalent to", SourceForm(Limit(f(n), n, a, Element(n, ZZ))), "but renders to LaTeX without displaying the predicate", Element(n, ZZ), " which readers will typically understand from context."),
Description(SourceForm(SequenceLimit(f(n), n, a, P(n))), ", rendered as", SequenceLimit(f(n), n, a, P(n)), ", is equivalent to", SourceForm(Limit(f(n), n, a, And(Element(n, ZZ), P(n)))), "."))