Enumerating Boundedly Generated Finite Groups

We prove a conjecture of Mann and Pyber which estimates the number of finite groups of a given order and a given number of generators. This implies that the normal subgroup growth of free groups is of rate nlog n.