If $S$ $\subseteq$ $R$ is a nonempty bounded set, and $I_s$ := [inf S, sup S], show that $S$ $\subseteq$ $I_s$. Moreover, if $J$ is any closed bounded interval containing $S$, show that $I_s$ $\subseteq$ $J$.