(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) #f))))