diff --git a/Books/BabyRudin/Chapter01/ex04.gapry.tex b/Books/BabyRudin/Chapter01/ex04.gapry.tex new file mode 100644 index 0000000..6510cf9 --- /dev/null +++ b/Books/BabyRudin/Chapter01/ex04.gapry.tex @@ -0,0 +1,8 @@ +\subsection*{Exercise 04 (Gapry)} +Let $S$ is an ordered set, and let $E$ be a non-empty subset of $S$, so there exists $x \in E$. + +$\alpha$ is a lower bound of $E$, so $\alpha \le x$, + +$\beta$ is an upper bound of $E$, so $x \le \beta$, + +Combined, we have $\alpha \le x \le \beta$, so $\alpha \le \beta$ \ No newline at end of file