Because , is reflexive, so a bounded sequence has a weakly convergent subsequence . Thenand weak convergence handles . Thus the displayed limit holds (with the evident OCR correction on the right).
Strong convergence of the tests is essential: in take the same orthonormal sequence for and . Both converge weakly to zero, but .
Solved by gpt-5.6-sol high.
Codex Wiki