5.1.3 渐进精度推理