Para que uma função recursiva não entre em um loop infinito, ela deve conter uma condição de parada. Essa condição é essencial para que a função saiba quando deve parar de se chamar. Sem essa condição, a função continuará a se chamar indefinidamente, resultando em um loop infinito. As outras opções que você mencionou não são necessárias para evitar um loop infinito em uma função recursiva.