1: \begin{abstract}

2: We prove a conjecture dating back to a 1978 paper of

3: D.R.\ Musser~\cite{musserirred}, namely that four random

4: permutations in the symmetric group $S_n$ generate a transitive

5: subgroup with probability $p_n > \ee$ for some $\ee > 0$ independent

6: of $n$, even when an adversary is allowed to conjugate each of the

7: four by a possibly different element of $\S_n$ (in other words,

8: the cycle types already guarantee generation of $\S_n$).  This is

9: closely related to the following random set model.  A random set

10: $M \subseteq \Z^+$ is generated by including each $n \geq 1$

11: independently with probability $1/n$.  The sumset $\sumset(M)$ is formed.

12: Then at most four independent copies of $\sumset(M)$ are needed before

13: their mutual intersection is no longer infinite.

14: \end{abstract}

15: