(defun fact (x)
  (cond ((> 2 x) 1)
        (t (* x (fact (- x 1))))))