Lévy continuity theorem

If the characteristic functions ${\phi }_n$ of probability distributions ${\mu }_n$ converge pointwise to a function $\phi$ that is continuous at zero, then $\phi$ is a characteristic function and ${\mu }_n$ converges in distribution to its distribution. Conversely, convergence in distribution implies pointwise convergence of the characteristic functions.