[math-fun] Permutation question