Pyber's theorem on logarithmic quotient of number of nilpotent groups to number of groups approaching unity
From Groupprops
Statement
For any natural number , define
as the number of Finite group (?)s whose order is at most
, and let
be the number of Finite nilpotent group (?)s whose order is at most
. Then: