Which of the following correctly represents the factorial of a positive integer n?