Dixon's Theorem (Group Theory)

Theorem
Let $P_1$ and $P_2$ be distinct elements of the symmetric group on $n$ letters.

The probability that $\set {P_1, P_2}$ forms a generator of $S_n$ approaches $\dfrac 3 4$ as $n$ tends to infinity.