ana4: dominated convergence