Fungrim entry: 1d2ee5

Symbol: SequenceLimit —

\lim_{n \to a} f(n)

— Limiting value of sequence

This operator can be called with three or four arguments.

SequenceLimit(f(n), For(n, a)), rendered as

\lim_{n \to a} f(n)

, is equivalent to Limit(f(n), For(n, a), Element(n, ZZ)) but renders to LaTeX without displaying the predicate

n \in \mathbb{Z}

which readers will typically understand from context.

SequenceLimit(f(n), For(n, a), P(n)), rendered as

\lim_{n \to a,\,P(n)} f(n)

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

The expression For(x, a) declares x as a locally bound variable within the scope of the arguments to this operator.

Definitions:

Fungrim symbol	Notation	Short description
`SequenceLimit`	$\lim_{n \to a} f(n)$	Limiting value of sequence
`Limit`	$\lim_{x \to a} f(x)$	Limiting value
`ZZ`	$\mathbb{Z}$	Integers

Source code for this entry:

Entry(ID("1d2ee5"),
    SymbolDefinition(SequenceLimit, SequenceLimit(f(n), For(n, a)), "Limiting value of sequence"),
    Description("This operator can be called with three or four arguments."),
    Description(SourceForm(SequenceLimit(f(n), For(n, a))), ", rendered as", SequenceLimit(f(n), For(n, a)), ", is equivalent to", SourceForm(Limit(f(n), For(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), For(n, a), P(n))), ", rendered as", SequenceLimit(f(n), For(n, a), P(n)), ", is equivalent to", SourceForm(Limit(f(n), For(n, a), And(Element(n, ZZ), P(n)))), "."),
    Description("The expression", SourceForm(For(x, a)), "declares", SourceForm(x), "as a locally bound variable within the scope of the arguments to this operator."))

Topics using this entry

Operators