1: $.

2: 

3: 

4:  By Lemma  \ref{convergence_b_star}, we can set $