\(
\newcommand{\cat}[1] {\mathrm{#1}}
\newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})}
\newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}}
\)
Math and science::Analysis::Tao::06. Limits of sequences
Completeness of the reals, theorem
A sequence \( (a_n)_{n=1}^{\infty} \) of real numbers is a Cauchy sequence if and only if
[...].