Floor Function/Examples/Floor of 5 over 2

Theorem

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

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

Proof
We have that:

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