\lfloor x \rfloor = \max \{a \in \mathbb{Z} : a \leq x\}