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