(defun factorial (n)
          (let ((sum 1))
            (dotimes (x n)
              (setf sum (* sum (1+ x))))
            sum))

(factorial 9)
(factorial 10)
(factorial 99)
(factorial 100)
(factorial 999)
(factorial 1000)