The actual proof of convergence is generally not trivial.

• 收敛性的实际证明通常是不繁琐的。