 Diameter bound for a non-abelian finite simple group

For every $\epsilon >0$ there is $\lambda (\epsilon )$ such that every non-abelian finite simple group $G$ and every finite symmetric generating set $S$ containing the identity satisfyThe proof applies the one-scale virtual nilpotence theorem below the diameter and then uses simplicity to eliminate both the bounded-index subgroup and the finite normal subgroup.