Characteristic-function convergence theorem

Pointwise convergence of characteristic functions to a function continuous at zero implies convergence in distribution.