\lim_{n\rightarrow+\infty}\langle f,\varphi_n\rangle=\langle f,\varphi\rangle