(defun factorial (n) (if (= 0 n) 1 (* n (factorial (- n 1)))))