Floor function

• Is the Greatest Integer Function Monotonically Increasing?
  The greatest integer function is nondecreasing because x ≤ y implies floor(x) ≤ floor(y), but it is not strictly increasing.