[next] [prev] [prev-tail] [tail] [up]
possible functions.
If n≥m, the first input has m choices, the second input has m−1 choices, and so on. The total number of one-to-one functions then is
[next] [prev] [prev-tail] [front] [up]