Considere a função fat especificada abaixo em pseudocódigo, que recebe um número inteiro positivo e calcula o fatorial do mesmo de forma recursiva, devolvendo um número inteiro.

function fat (n as integer) as integer
if n > 1
then ...
else return 1
endif;

Para que a função fat funcione corretamente, o trecho “. . . “ deve ser substituído por