Advanced Analysis Library Only
double Fact (int n);
Computes the factorial of n, which is defined as follows: