Suppose the symmetric group $S_n$ acts transitively on a set $X$, i.e. for every $x, y \in X$, $\exists g \in S_n$ such that $gx = y$.
Show that either $|X| \le 2$ or $|X| \ge n$.
Small steps towards the solution:
As $S_n$ acts transitively on a set $X$, the whole of $X$ is one single orbit under the action of $S_n$.
By the Orbit-Stabilizer Theorem, then, $|X|$ = $|S_n : \text{Stabilizer of }x|$ for any $x \in X$.
We also know that the Stabilizer of any $x \in X$ is a subgroup of $S_n$.
When $|X| = 2$, the Stabilizer of $x$ is the alternating group $A_n$.
I'm halfway but can't get the final result. Any help would be much appreciated, as always. Thank you.