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$


Also see

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.