1: $

2: \label{lem:convergence_payoff}

3: \end{lem}

4: \begin{proof}

5: Let $