input: from typing import List
  
  
  def factorial_recursive(n: int) -> int:
      """ A recursive function to calculate the factorial of a given number.
      Factorial of a number is the product of all positive integers less than or equal to n.
  
      >>> factorial_recursive(1)
      1
      >>> factorial_recursive(5)
      120
      """
      if n == 1:
          return 1
      else:
          return n * factorial_recursive(n - 1)
output:     if n == 1:
          return 1
      else:
          return n * factorial_recursive(n - 1)