Ceiling Function is Integer
Jump to navigation
Jump to search
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$