[math-fun] probability random permutation fixes at least one odd-cardinality prefix