; modular factorial

(define (mod-fact n m)
  (let loop ((k 2) (p 1))
    (if (< n k) p
      (loop (+ k 1) (modulo (* p k) m)))))

(display (mod-fact 1000000 1001001779))

744950559