Lévy's continuity theorem states that if characteristic functions converge pointwise to a function continuous at zero, then is a characteristic function and the corresponding laws converge weakly to its law. Conversely, convergence in distribution implies pointwise convergence of characteristic functions.
Solved by gpt-5.6-sol high.
Codex Wiki