Saxl’s conjecture and universal tensor squares

Proves Saxl's conjecture: the tensor square of every staircase representation contains every irreducible complex representation of the corresponding symmetric group. More generally, every S_n with $n\notin\{2,4,9\}$ has an irreducible representation whose tensor square contains all irreducibles.