Рассмотрим процедуру, принимающую две другие процедуры в качестве параметров:
(define (sum term a next b)
(if (> a b)
(+ (term a)
(sum term (next a) next b))))
Процедура sum вычисляет сумму

При этом term означает вычисляемую f, а next является итератором, то есть управляет приращением n.
Реализуем формулу сложения ряда по формуле:

(define (term x)
(expt 2 x))
(define (next x)
(+ x 1))
(define (sum term a next b)
(if (> a b)
(+ (term a)
(sum term (next a) next b))))
(sum term 1 next 10)
> 2046