Боже царя храни
А исчислим-же факториал числа и
   а коли и равно число единице
       а единицу 
       а множь число и факториал да убавь-с числе единицу 
 Писано да  во славу государства Русского

#+sbcl
(defun fac (n)
   (if (= 1 n)
        1
       (* n (fac (- n 1))))
  (:documentation ("Factorial")))

Боже царя храни
А исчислим-же факториал числа и
   а коли и равно число единице
       а единицу 
       а множь число и факториал да убавь-с числе единицу 
 Писано да  во славу государства Русского

#+sbcl
(defun fac (n)
   (if (= 1 n)
        1
       (* n (fac (- n 1))))
  (:documentation ("Factorial")))