Floor Function/Examples/Floor of One Half

Theorem

 * $\left\lfloor{\dfrac 1 2}\right\rfloor = 0$

where $\left\lfloor{x}\right\rfloor$ denotes the floor of $x$.

Proof
We have that:
 * $0 \le \dfrac 1 2$

and:
 * $1 = \dfrac 2 2 > \dfrac 1 2$

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