1: $ is some prespecified convergence threshold, exit; otherwise set $