\lim_{n\to\infty} \|\hat{X}\Psi_n -x_0 \Psi_n \| = 0\\