Exercise 2, § 1

Let $\pi$ be a unitary representation of G on a Hilbert space E and $x\in E$ of norm 1 such that

sup$_{g\in G}\|\pi (g)x-x\|\leqslant 1$.

There exists a non-zero vector in E invariant under G.