Universal Tensor Squares for Symmetric Groups

For every positive integer n other than 2, 4, and 9, we prove that some irreducible complex representation of S${}_n$ has a tensor square containing every irreducible representation. This resolves the tensor square conjecture for symmetric groups affirmatively.