Exercise 11, § 4

Let G be a compact group and $\pi$ a finite-dimensional unitary representation of G in a Hilbert space E. If $M_4(\pi )\leqslant 5$, then the representation $\pi$ is irreducible.