(define increasing-on-integer-range?
       (lambda (f low high)
         (if (= low high)
             #t
             (if (< (f low) (f (+ low 1)))
                 (increasing-on-integer-range? f (+ low 1) high)
                 <General Case Test Failure>))))