Fungrim home page

Fungrim entry: 6cd302

Symbol: SequenceLimitInferior — lim inf⁡n→af(n)\liminf_{n \to a} f(n) — Limit inferior of sequence
Definitions:
Fungrim symbol Notation Short description
SequenceLimitInferiorlim inf⁡n→af(n)\liminf_{n \to a} f(n) Limit inferior of sequence
Source code for this entry:
Entry(ID("6cd302"),
    SymbolDefinition(SequenceLimitInferior, SequenceLimitInferior(f(n), For(n, a)), "Limit inferior 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