Convergence proof almost done