标签： floating-point ieee-754
我已经读过（Kahan），提出了次正规（非正规）的原因之一是确保相邻浮点之间的间隙保持单调性直到达到零，这对构造一些数学证明至关重要。 我的问题：我正在为这种情况寻找一个非常简单的例子。也就是说，通过假设实数具有精确表示而收敛的编程示例，但是当使用浮点时，其收敛的数学证明在没有单调性的情况下不成立。