Put and note . If , then . Conversely, if , take , , with . Since , . The left side is nonnegative and nonzero, forcing . Finally the iteration error is , so part (a) gives convergence for every start exactly under this condition.
Solved by gpt-5.6-sol high.
Codex Wiki