Funciones recursivas de cola en esquema

Estoy estudiando para un examen de Navidad y haciendo algunas preguntas de examen de muestra, me he encontrado con una que me ha dejado perplejo.

Puedo hacer una recursión regular bien, pero no puedo entender cómo escribir la misma cosa usando la recursión de la cola.

Versión regular:

    (define (factorial X)
      (cond
            ((eqv? X 1) 1)
            ((number? X)(* X (factorial (- X 1))))))