Ceiling Function is Integer

Theorem
Let $x$ be a real number.

Then the ceiling function of $x$ is an integer:
 * $\ceiling x \in \Z$

Proof
This is by definition of the ceiling function.

Also see

 * Floor Function is Integer