change of variables, sequence convergence