1: $

2: By Lemma \ref{lemma:length_convergence} we have $