\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \)

Convergence of sequences of reals

Let \( L \) be a real number. A sequence of reals \( (a_n)_{n=m}^{\infty} \) is said to converge to \( L \) if for every real \( \varepsilon > 0 \) there exists an integer \( N \ge m \) such that [...] for all \( k \ge N \).