$\forall a\colon (\lfloor a\rfloor \le a)\land (a< \lfloor a\rfloor +1)$