(de fact (N)
   (apply * (range 1 N) ) )