On définit factorielle de 5, noté 5! par :
De
manière générale pour n strictement positif, on remarque que : n! = n × (n - 1)!.
Cette relation explique la nature récursive de ce programme :
pour fac :n
si :n=0[ret 1][ret :n*fac :n-1]
fin
ec fac 5
120
ec fac 6
720