1: $

2: 

3: 

4: At this point, the program leading to the proof of the convergence of the $