1: $ at the convergence of the inner iteration.

2: \STATE Update  $