Answer
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.)
Work Step by Step
By definition, $floor(x)=n$ means that $n$ is the unique integer that makes the inequality $n\leq x$