En cuanto al algoritmo de aproximación presentado en el párrafo anterior, esto es necesario para demostrar que la variación en "y" llegará a ser arbitrariamente pequeña.