(define (fact n) (do ((i 1 (+ i 1)) (f 1 (* i f))) ((> i n) f)))