Fungrim home page

Fungrim entry: fdf152

Symbol: SequenceLimitSuperior — lim sup⁡n→af(n)\limsup_{n \to a} f(n) — Limit superior of sequence
Definitions:
Fungrim symbol Notation Short description
SequenceLimitSuperiorlim sup⁡n→af(n)\limsup_{n \to a} f(n) Limit superior of sequence
Source code for this entry:
Entry(ID("fdf152"),
    SymbolDefinition(SequenceLimitSuperior, SequenceLimitSuperior(f(n), For(n, a)), "Limit superior of sequence"))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC