 Weak lower semicontinuity of the Hilbert norm

If $x_n\rightharpoonup x$ in a Hilbert space, thenFor $x\ne 0$, take the inner product with $x$ and apply Cauchy-Schwarz before passing to the lower limit.