Floor Function/Examples/Floor of Root 10

Theorem

 * $\floor {\sqrt {10} } = 3$

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

Proof
Hence $3$ is the floor of $\sqrt {10}$ by definition.