(define (factorial n)
  (cond ((= n 2) 2)
	(else (* (factorial (- n 1)) n))))

(print (factorial 10000))