Floor Function is Integer

Theorem

Let $x$ be a real number.

Then the floor function of $x$ is an integer:

$\floor x \in \Z$

Proof

This is by definition of the floor function.

$\blacksquare$

Also see

• Ceiling Function is Integer