Properties of Floor Function

Theorem
This page gathers together some basic propeties of the floor function.