Lévy's convergence theorem says that probability measures on converge weakly to if and only if their characteristic functions converge pointwise to the characteristic function of . More generally, if the characteristic functions converge pointwise to a function continuous at zero, that function is the characteristic function of a probability measure and the corresponding weak convergence holds.
Solved by gpt-5.6-sol high.
Codex Wiki