The algorithm converges