¿Qué casos deben estar necesariamente presentes en una función recursiva?

Componentes necesarios de una función recursiva:

1. Caso base (Base Case): La condición en la que la recursión termina. Sin esto, la función se llamará a sí misma indefinidamente, lo que provocará un desbordamiento de pila.
2. Paso recursivo (Recursive Step): La llamada a la misma función con argumentos modificados que se acercan gradualmente al caso base.

Ejemplo:

def factorial(n):
    # Caso base
    if n == 0:
        return 1
    # Paso recursivo
    else:
        return n * factorial(n-1)