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