Talk:Higman–Sims asymptotic formula