Ceiling Function/Examples/Ceiling of Minus One Half

Theorem

 * $\left\lceil{- \dfrac 1 2}\right\rceil = 0$

where $\left\lceil{x}\right\rceil$ denotes the ceiling of $x$.

Proof
We have:
 * $0 \ge - \dfrac 1 2$

and:
 * $-1 = - \dfrac 2 2 < - \dfrac 1 2$

Hence $0$ is the ceiling of $- \dfrac 1 2$ by definition.