$\forall a\colon (\lceil a\rceil -1< a)\land (a\le \lceil a\rceil )$