Tags

limit of a sequence (OFEs)

Given an OFE , the limit of a sequence of elements drawn from is an element such that for all .

A given sequence may or may not have a limit. However, limits are unique when they exist.

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-08-17 Mon 15:56

Emacs 30.2 (Org mode 9.7.11)

Validate