If it's not, it's certainly an invalid value. But I don't see how that's related to this check. There shouldn't be any special casing for any values of step. A step of 1 is no way guarantees that the provided max is valid.