“…Although m was assumed to be a prime in [8], the formula for p ¬m (n) in (1) holds for an arbitrary positive integer m, see [11], and their asymptotic arguments can be extended to give explicit convergence bounds [3,Theorem 2.3(b)], again for arbitrary m. These explicit bounds, together with analogous results for alternating groups [3,Section 3], were used to analyse algorithms for constructing transpositions and 3-cycles [3,Section 6], procedures used as components of the constructive recognition algorithms for black-box alternating and symmetric groups in [4]. Many other authors have also considered the proportion p ¬m (n), see for example [5,6,16] and the discussion in [17].…”