\lceil x \rceil = \min \{a \in \mathbb{Z} : a \geq x\}