Floor Function/Examples/Floor of 14
Jump to navigation
Jump to search
Theorem
- $\floor {14} = 14$
where $\floor x$ denotes the floor of $x$.
Proof
We have that $14$ is an integer.
Thus this is a specific example of Real Number is Integer iff equals Floor:
$\floor x = x \iff x \in \Z$
$\blacksquare$
Sources
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 10$: The well-ordering principle