\(
\newcommand{\cat}[1] {\mathrm{#1}}
\newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})}
\newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}}
\)
Math and science::Analysis::Tao::05. The real numbers
Existence of least upper bound, theorem
Let \( E \) be a subset of \( \mathbb{R} \). If \( E \) has some upper bound, then it must have
[...].
