(define fact
  (lambda (n)
    (if (zero? n) 1 (* n (fact (sub1 n))))))