Существенное различие между кодом для итеративной и рекурсивной версий factorial

Скомпилируйте итеративную процедуру вычисления факториала:

(define (factorial n)
  (define (iter product counter)
    (if (> counter n)
        product
        (iter (* counter product)
              (+ counter 1))))
  (iter 1 1))

Прокомментируйте полученный код и покажите существенное различие между кодом для итеративной и рекурсивной версий factorial , благодаря которому один процесс наращивает глубину стека, а второй выполняется при фиксированной глубине.

---