Probabilistic generation of wreath products of non-abelian finite simple groups

We show that the probability of generating an iterated standard wreath product of non-abelian finite simple groups is positive and tends to 1 as the order of the first simple group tends to infinity. This has the consequence that the profinite group which is the inverse limit of these iterated wreath products is positively finitely generated. Information depending on the Classification of Finite Simple Groups is used throughout.