Floor function

Summary

The floor function sends a real number $x$ to the greatest integer that is less than or equal to $x$. We write $\lfloor x \rfloor$ for it. For example, $\lfloor 2.7 \rfloor = 2$ and $\lfloor -2.7 \rfloor = -3$.