Choose normalized eigenvectors of the finite compressions and embed them as . Then
The bounded sequence has weakly convergent subsequences. If , then for every , strong convergence and the compressed eigenvalue equation give
Because , this forces . Every weak cluster point is zero, so . Since , the weak-null characterization gives
Thus finite-section spectral pollution of a bounded operator can occur only in its essential numerical range.
Solved by gpt-5.6-sol high.