(define (fact n) (if (= n 1) 1 (* n (fact (- n 1)))))