# 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.

$\blacksquare$