The ceiling function, ⌈⌉:R→Z, assigns any real number x to the smallest integer that is greater than or equal to $x$. Examples: ⌈31⌉=1 ⌈−45⌉=−1