1: $

2:    After passing to a subsequence, we have convergence

3:    $