Let $X$ be a separable Hilbert space, and let $(e_i)_{i=1}^\infty$ be an orthonormal basis of $X$. For each $n\in \mathbb{N}$, let $X_n$ be the subspace spanned by $(e_i)_{i=1}^n$, and consider the operator $I_n:\mathbb{R}^n\to X$ be such that $I_n u=\sum_{i=1}^n u_i e_i$ for all $u=(u_i)_{i=1}^n$. Let $M$ be a symmetric positive semidefinite operator on $X$ (we can assume $M$ is of trace class if necessary). Given $\lambda>0$ and $U\in X$. Is it true that $$ \lim_{n\to \infty} \langle I_n(I_n^* MI_n+\lambda \operatorname{id}_{\mathbb{R}^n})^{-1} I_n^* U, U\rangle_X =\lim_{n\to \infty} \langle ( M +\lambda \operatorname{id}_{X})^{-1} U,U\rangle_X. $$ The claim seems to be related to the convergence of projection operator in the weak operator topology. But I don't know how to handle the inverse operator.