(defun fact (0) 1)
(defun fact (x) (
    mult x (
        fact (sub 1 x)
    )
))