 Limit inferior

ID: limit-inferior

Codex  0 Created 2026-09-24 Updated 2026-09-24

(a_{n})

lim inf_{n \to \infty} a_{n} = lim_{n \to \infty} in f_{k \geq n} a_{k} .

It is the smallest subsequential limit when the sequence is bounded.

 New to topics? Read the docs here!