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