Simple groups, maximal subgroups, and probabilistic aspects of profinite groups

We show that a finite simple group has at most n ^1.875+o(1) maximal subgroups of index n. This enables us to characterise profinite groups which are generated with positive probability by boundedly many random elements. It turns out that these groups are exactly those having polynomial maximal subgroup growth. Related results are also established.