Esse programa será finalizado para todo número inteiro?

Em um teste de peça para preparação do GATE, houve uma pergunta: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Eu respondi "Terminará para todos os números inteiros", porque mesmo para alguns números inteiros negativos, terminará como Erro de estouro de pilha . Mas meu amigo discordou...