factorial of a non-negative integer n, denoted by n!, is the product of all positive integers less than or equal to n