\sqrt{n}-\lfloor \sqrt{n} \rfloor \geq 0, \ \forall n \in \mathbb{N}