Lévy's convergence theorem