\(\newcommand\Id[1]{\mbox{\textit{#1}}}\)

Solução 1. ?@exr-0041

É interessante notar que no algoritmo, o valor \(n = 0\) faz com que o laço para não seja repetido nenhuma vez, resultando em \(\Id{fatorial}\) igual a um. O mesmo ocorre para \(n = 1\).