lebesgue thm -> lebesgue dominated convergence thm