Floor Function/Examples/Floor of Minus 5 over 2

Theorem

 * $\floor {-\dfrac 5 2} = -3$

where $\floor x$ denotes the floor of $x$.

Proof
We have that:

Hence $-3$ is the floor of $-\dfrac 5 2$ by definition.