1: $.

2: 

3: From Theorem~\ref{thm:dynamic_convergence} we know that for a given $