(DEFINEQ (FACTORIAL (LAMBDA (N)
  (COND
    ((ZEROP N) 1)
    (T (TIMES N (FACTORIAL (SUB1 N))))))))

(PRINT (FACTORIAL 5))