error of convergence

Proving the convergence of the iterative methods by using symbolic computation in Maple