1: $ implies that

2: %and apply the convergence result of the previous section:

3: $