## Discrete Mathematics with Applications 4th Edition

For any real number $x$, that $x$ is an integer is a necessary and sufficient condition for $floor(x)=x$. (In other words, $floor(x)=x$ if and only if $x$ is an integer.)
By definition, $floor(x)=n$ means that $n$ is the unique integer that makes the inequality $n\leq x$