n { fact i
n { 1
loop: } (i=0)/0
n { n X i
i { i-1
} loop