1: $}

2: % By Lemma \ref{lem:first_derivate_convergence}, we have $