Template:Number of groups of prime power order facts to check against

FACTS TO CHECK AGAINST (number of groups of prime power order):
Exact counts: Higman-Sims asymptotic formula on number of groups of prime power order |
Upper and lower bounds: Higman-Sims asymptotic formula on number of groups of prime power order (best known) | upper bound on number of groups of prime power order using power-commutator presentations (very crude) | inductive upper bound on number of groups of prime power order using power-commutator presentations (very crude)