Функция consecutive-ints
знает, как добавить 1 к каждому значению, чтобы получить следующее значение в диапазоне, вам не нужно делать это при вызове.Я также ожидал, что он будет обрабатывать пустой диапазон, поэтому вам не нужна ваша собственная проверка для этого.
(define (consecutive-squares a b)
(map square (consecutive-ints a b))