迭代求根公式怎么证明？

这是计算机求解开根号的算法，如何证明数列收敛于根号2，为什么？