Scaling by a nonnegative integer is a monotone mapping from the integers into the integers (using the standard ordering).