Properties of Ceiling Function

Theorem
This page gathers together some basic propeties of the ceiling function.