Math and science::Analysis::Tao::06. Limits of sequences
Formal limits are genuine limits
Suppose that \( (a_n)_{n=1}^{\infty} \) is a [...] of rational numbers (defined for reals). Then \( (a_n)_{n=1}^{\infty} \) converges to \( LIM_{n\to\infty}a_n \), i.e.
\[ \lim_{n\to\infty}a_n = LIM_{n\to\infty}a_n \]