\begin{definition}[Definition:Bounded Below Sequence/Real]
Let $\sequence {x_n}$ be a real sequence.
Then $\sequence {x_n}$ is '''bounded below''' {{iff}}:
:$\exists m \in \R: \forall i \in \N: m \le x_i$
\end{definition}