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