Iteration (x_{n+1} definitions and convergence)