função fatorial(x: inteiro): inteiro
var i, aux: inteiro
inicio
   aux <- 1
   para i de 1 até x faça
      aux <- aux * i
   fim_para
   fatorial <- aux
fim