\lfloor x \rfloor \leq x, \ \forall x \in \mathbb{R}