In finite group theory, the Higman–Sims asymptotic formula gives an asymptotic estimate on number of groups of prime power order.
Statement Let be a (fixed) prime number. Define as the number of isomorphism classes of groups of order . Then:
Here, the big-O notation is with respect to , not with respect to (the constant under the big-O notation may depend on ).
References