(define integer-in-range-where-smallest
       (lambda (f a b) 
         (if (= a b)
             a
             (let ((smallest-place-after-a 
                     (integer-in-range-where-smallest f (+ a 1) b)))
               (if ____ ? ____
                   ____ ? ____
                   ____ ? ____ )))))