 Solution

Use the assumed separability of the Hilbert space to choose a countable Hilbertian basis $(e_j)$. For $\Vert f_n\Vert \le M$, every scalar sequence $⟨f_n,e_j⟩$ is bounded. Repeated extraction followed by the diagonal subsequence argument gives one subsequence with all these coordinates converging, say to $a_j$. The Bessel inequality gives ${\sum }_{j\le N}|a_j{|}^2\le M^2$ for every $N$, so $g={\sum }_j{a}_j{e}_j$ exists and $\Vert g\Vert \le M$.

For $h\in H$, let $h_N$ be its finite basis truncation. Coordinate convergence gives $⟨f_{\phi (n)}-g,h_N⟩\to 0$, while the Cauchy-Schwarz inequality bounds the remaining inner product by $2M\Vert h-h_N\Vert$, uniformly in $n$. First choose $N$ large, then $n$ large. ThusThis proves the asserted sequential conclusion. To obtain actual compactness for the weak topology, note that on a bounded ball it is induced by the metricFinite coordinates and the uniformly small tail show that $d$ gives coordinate convergence; uniform boundedness of the ball extends this to every inner product as above. Hence this metric induces exactly the restricted weak topology. In a metric space, sequential compactness implies compactness. The closed unit ball is therefore weakly compact, and the limit remains inside it.