dominated convergence theorem