\begin{definition}[Definition:Lower Bound of Sequence/Real]
Let $\sequence {x_n}$ be a real sequence.
Let $\sequence {x_n}$ be bounded below in $T$ by $L \in \R$.
Then $L$ is a '''lower bound of $\sequence {x_n}$'''.
\end{definition}