4.1.3 算法收敛性证明