第 4 章：递推过程与无限逼近¶ 本章以递推和区间二分展示：有限步骤的计算必须配合不变量与误差证书，才可成为可验证的数学结论。 递推会不会真的“靠近”目标？ 区间怎样把目标逐步夹住？ “越来越近”怎样说得严格？ 无限逼近何时会失败？