An involution is a permutation that is its own inverse. Given a permutation of , let denote the number of ways to write as a product of two involutions of . If we endow the symmetric groups with uniform probability measures, then the random variables are asymptotically lognormal.
The proof is based upon the observation that, for most permutations , can be well-approximated by , the product of the cycle lengths of . Asymptotic lognormality of can therefore be deduced from Erdős and Turán’s theorem that is itself asymptotically lognormal.