Math.Combinatorics.Exact.Factorial
factorial