Recursive factorial

For positive values of $n$, let's write $n!$ as we did before, as a product of numbers starting from $n$ and going down to  ...