Que casos devem obrigatoriamente estar presentes numa função recursiva?

Componentes necessários de uma função recursiva:

1. Caso base (Base Case): A condição em que a recursão termina. Sem ela, a função chamará a si mesma indefinidamente, levando a um estouro de pilha.
2. Passo recursivo (Recursive Step): A chamada da mesma função com argumentos modificados que se aproximam gradualmente do caso base.

Exemplo:

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