\begin{definition}[Definition:Ceiling Function/Definition 3]
Let $x$ be a real number.
The '''ceiling function of $x$''' is the unique integer $\ceiling x$ such that:
:$\ceiling x - 1 < x \le \ceiling x$
\end{definition}