Floor

The floor function $\lfloor \cdot \rfloor \colon \mathbb{R} \rightarrow \mathbb{Z}$ is defined by $$\lfloor x \rfloor = \max \left\{y \in \mathbb{Z} \colon y \leq x \right\},$$ i.e., it is the largest integer less than or equal to $x$.