1: $

2: 

3: \begin{lemma}

4:   \label{sec:q-logarithm-convergence-of-q-logarithm}

5:   Let $