Let x be a real number and show that -[-x] is the least integer greater than or equal to x.

Proof:

By definition, [x] is the least integer less than or equal to x and [-x] is the least integer less than or equal to -x.

So we have -x >= [-x]

divide both sides by -1

result => x <= -[-x]

is this sufficient?pr