Define a function that returns the factorial of a given positive integer.