Wiktionary
ceiling function
n. (context mathematics English) Function that maps a real number to the smallest next integer.