Para los casos en donde dependa de U_n o t_n, la condición sobre h será dinámica y se tendrá que verificar para cada paso.
E_n^2 podrías despreciarlo asumiendo que E_n es lo suficientemente chico.