I was looking at some basics in the theory of convergence of distributions, e.g. Portmanteaus Thm. One part of it asserts that it suffices to check $\mathbb{E}[f(X_n)]\to\mathbb{E}[f(X)]$ for bounded Lipschitz-continuous $f$ instead of $f\in\mathcal{C}_b(E)$ to establish $X_n\Rightarrow X$ on $E$. The proof always cirlces with other parts of the Thm. (the limsup/liminf inequalities and convergence along sets having borders which are $\mathbb{P}$-null sets). Now I ask myself if there is a "direct" proof of this fact ($E=\mathbb{R}$ suffices).
Thx a lot!
The following proof shows that it suffices to have $\mathbb{E}f(X_n) \to \mathbb{E}f(X)$ for bounded $C^{\infty}$ functions.
Remark: In fact, the weak convergence is equivalent to $$\mathbb{E}e^{\imath \, \xi X_n} \to \mathbb{E}e^{\imath \, \xi X} \quad \text{for all} \, \xi,$$ i.e. it suffices to have convergence for $f$ of the form $f(x)=e^{\imath \, x \xi}$.