Fixed-point_iteration