Ceiling Function/Examples/Ceiling of Minus One Half

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ceiling {- \dfrac 1 2} = 0$

where $\ceiling x$ 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.

$\blacksquare$


Sources