Factorial appears often in math and recursion practice: it is the product of all whole numbers from 1 to n. The function factorial receives a non-negative integer n and returns its factorial. Remember the special rule: the factorial of 0 is 1.

def factorial(n: int) -> int: