Weak subsequence of a bounded Hilbert-space sequence
= Weak subsequence of a bounded Hilbert-space sequence
Every bounded sequence in a separable Hilbert space has a weakly convergent subsequence. Successive subsequences make each basis coordinate converge, and a diagonal subsequence converges in every coordinate; the <coordinate criterion for weak convergence in a separable Hilbert space> finishes the proof.