Solution (source code)

= Solution

There are $n$ choices for the first position, then $n-1$ choices for the second, and so on down to one choice. The <multiplication principle> therefore gives \b[$n!$ <permutations>]. This also agrees with the empty <permutation> convention $0!=1$.