Definition:Ceiling Function

Definition
The ceiling function is denoted and defined as:


 * $\forall x \in \R: \left \lceil {x} \right \rceil = \inf \left({\left\{{m \in \Z: m \ge x}\right\}}\right)$

That is, $\left \lceil {x} \right \rceil$ is the smallest integer greater than or equal to $x$.

Also see

 * Definition:Floor Function

It immediately follows that:


 * $\left \lceil {x} \right \rceil$ is an integer
 * $\left \lceil {x} \right \rceil - 1 < x \le \left \lceil {x} \right \rceil < x + 1$
 * $\forall n \in \Z: \left \lceil {x + n} \right \rceil = \left \lceil {x} \right \rceil + n$