1: $ is the function defined in \eqref{Phi}.

2: %

3: % Thus convergence in $