\lim_{n\to\infty} \|\hat{Y}\Psi_n -y_0 \Psi_n \| = 0\\