(defun fact (n) (if (plusp n) (* n (fact (- n 1))) 1 ))