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