Earlier quoted context omitted.
|a| = 2 a^2 = 4
Most functions are not invertible. In modulo arithmetic (numbers wrap around like days of the week, months, hours in a day, or the units column, e.g. mod 10 has numbers 0 to 9, and 9+1=0) we can count them. There are n^n possible functions (each of the n inputs could map to any n values), but only n! invertible functions (the first input can be to any of n , the second can be to any but the first's, etc (n)(n-1)(n-2)…
So n!/n^n ~ sqrt(2 pi n)e^-n.