f(low) < f(low+1) < ... < f(high)
Desired behavior: (increasing-on-integer-range? f 0 4) → #f (increasing-on-integer-range? f 1 4) → #t
(increasing-on-integer-range? f 0 4) → #f (increasing-on-integer-range? f 1 4) → #t