(fac n)

The factorial function. Also known as n! n >= 0 An integer n * (n-1) * ... * 1