I'm working on a proof of the following theorem:
"Let $X$ be a non-empty subset of $\mathbb{R}$; then $X$ is bounded iff $\sup(X)$ and $\inf(X)$ are finite".
Def.(Bounded sets) $X\subseteq\mathbb{R}$ is said to be bounded if $X\subset [-M,M]$ for some real number $M>0$.
Now, I've managed to prove the rightward implication, namely that if $X$ is bounded then $\sup(X)$ and $\inf(X)$ are finite but I'm stuck on the leftward one. For that part I thought about setting $G:=\max\{|\sup(X)|,|\inf(X)|\}$ and show that $X\subset[-G,G]$ but while it's easy to prove that $x\leq G\ \forall x\in X$ I haven't been able to show that $-G\leq x\ \forall x\in X$.
So, I would appreciate any hint/comment about how to finish this last part of the proof.
By definition, $G\geq|\inf(X)|$, and since $G\geq 0$, we must have $-G\leq \inf(X)$. Thus, since for all $x\in X$, we must have $\inf(X)\leq x$ (because that's how $\inf(X)$ is defined), we must have $-G\leq\inf(X)\leq x$ or $-G\leq x$.
Edit: let's look a little closer at the following:
$$G\geq|\inf(X)|\implies -G\leq \inf(X)$$ Firstly, if $\inf(X)$ is negative (that is, $|\inf(X)|=-\inf(X)$), then we have $$G\geq |\inf(X)|\implies G\geq -\inf(X)\implies -G\leq\inf(X)$$ if on the other hand $\inf(X)$ is positive or $0$ (that is, $|\inf(X)|=\inf(X)$), then $$G\geq |\inf(X)|\implies G\geq \inf(X)\implies -G\leq-\inf(X)\leq\inf(X)$$ so in both cases, $-G\leq \inf(X)$.