§2 不动点迭代