Proposition

Theorem 1.1 ([Saxl's conjecture]). For every integer m≥1 and every partition λ N_m , g(ρ_m,ρ_m,λ)>0. Equivalently, S^ ρ_m ⊗S^ ρ_m contains every irreducible complex representation of S_ N_m .