Weakly null orthonormal sequence (source code)

= Weakly null orthonormal sequence

Every <orthonormal sequence> in a Hilbert space converges weakly to zero, by <Bessel inequality>, but no subsequence converges strongly because distinct terms remain distance $\sqrt2$ apart.