1: $). 

2:  

3:   We now use the local smooth convergence of the

4:   $