necessary condition for convergence