Added (near-)proof of convergence.