It is known that an integer which is between two consecutive squares cannot be a square. Does the converse hold?
That is, if an integer is not a square, does it necessarily follow that it is between two consecutive squares?
If so, is it possible to produce a constructive proof?