1: $

2: On the other hand, by \eqref{hepsilon_convergence_on_Ephi} we have

3: $