1: $ of \eqref{dual_pro}.

2: 

3: Next, we prove the convergence of the sequence $