1: $.

2: 

3: %Theorem \ref{THM:mhatpi_m} shows the global convergence of $