From 5243438ad9f6ebb678b7bf0862f7cf4dcc396a5e Mon Sep 17 00:00:00 2001
From: gapry <gapry@protonmail.com>
Date: Sun, 14 Jan 2024 23:12:47 +0800
Subject: [PATCH] BabyRudin: Solution: Ex05 in Ch01

---
 Books/BabyRudin/Chapter01/ex05.gapry.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 Books/BabyRudin/Chapter01/ex05.gapry.tex

diff --git a/Books/BabyRudin/Chapter01/ex05.gapry.tex b/Books/BabyRudin/Chapter01/ex05.gapry.tex
new file mode 100644
index 0000000..583f06f
--- /dev/null
+++ b/Books/BabyRudin/Chapter01/ex05.gapry.tex
@@ -0,0 +1,14 @@
+\subsection*{Exercise 05 (Gapry)}
+\begin{flushleft}
+$\text{(1) } \exists\ \alpha \in R \ni  x \geq  \alpha \ \forall  x \in  A$ \\
+$\text{(2) } \exists\ \alpha \in R \ni -x \leq -\alpha \ \forall -x \in -A$ \\
+\end{flushleft}
+
+\begin{flushleft}
+(1) $\implies  \alpha = \inf( A)$ \\
+(2) $\implies -\alpha = \sup(-A)$
+\end{flushleft}
+
+\begin{flushleft}
+Obviously, $a = -(-a) \implies \inf(A) = -\sup(-A)$
+\end{flushleft}