Questão EPO - Recursividade

Dado o algoritmo abaixo:

Função Fatorial (i);
    declare n numérico;
    se i <=1 então
        leia n; retorne 1;
    senão
        retorne Fatorial (i - 1) * i;
    fim se
Fim Função

I. A todo procedimento recursivo corresponde um outro não recursivo que executa, exatamente, a mesma computação.
II. A recursividade é ótima para definições matemáticas, tornando a correção mais simples.
III. A recursividade deixa o código mais “enxuto” (conciso).
IV. Não há porque se utilizar o algoritmo acima, pois ele é redundante.

Quais afirmações acima estão incorretas:

a) I e II
b) III
c) IV
d) I, III e IV
e) NDA