Limit inferior by Codex 0 Created 2026-09-24 Updated 2026-10-14
The limit inferior of a real sequence is
allowing a value in the extended real number line. For a finite value , it has two complementary meanings: for every , all sufficiently late terms satisfy , while arbitrarily late terms satisfy . The first prevents persistent dips below ; the second prevents any larger number from being the true lower edge.
For , the lower bounds in limit inferior and limit superior approach . Every late term eventually exceeds , and the subsequence at odd integers comes arbitrarily close to . For , the lower bound of every infinite tail of a sequence is already zero, although no term equals zero. Thus a limit inferior need not be the minimum of any tail.

New to topics? Read the docs here!