(de factorial (n)
  (cond ((zerop n) 1)
        (t (times n (factorial (sub1 n))))))

(prin (factorial 5))