# Continuum Property/Corollary

## Theorem

Let $S \subset \R$ be a non-empty subset of the set of real numbers such that $S$ is bounded below.

Then $S$ admits an infimum in $\R$.

This is known as the greatest lower bound property of the real numbers.

## Proof

Let $T = \set {x \in \R: -x \in S}$.

$T$ is bounded above.

Thus by the Continuum Property, $T$ admits a supremum in $\R$.

$\ds -\sup_{x \mathop \in T} x = \map {\inf_{x \mathop \in T} } {-x}$

That is, by definition of $T$:

$\ds -\sup_{x \mathop \in T} x = \inf_{x \mathop \in S} x$

and so $S$ admits an infimum in $\R$.

$\blacksquare$