上界不够小，还不能算作反例
固定 ε = 0.5。真正的当前尺度反例，需要函数属于所选族、|x−y| < δ，而且 |f(x)−f(y)| ≥ 0.5。
选 x 或 y 后在图中拖动。也可聚焦图上的圆点，用左右键移动。图只展示当前函数，不把它当作整个函数族的最大差。
- 实际横距 d
- —
- 实际函数差
- —
- 固定 ε
- 0.5 比较的是实际点对
两条充分上界，不是实测最大模
有限族：min(2, Nδ)直线族：δ
选定函数族与尺度
δ = 0 仅用于看清退化情形；定义要求 δ > 0。当前数值实验不接受 0 < δ < 0.002。
这个实际点对是否违反当前 δ 的要求？
比较相同尺度下的不同量词
最多保留 6 组；恢复全部参数，或删除不需要的记录。
无限正弦族的论证不靠有限采样：对任意 δ > 0，取 n = max(2, ⌈π/(2δ)⌉ + 1)，x = 0，y = π/(2n)。那么 0 < y < δ 且函数差恰为 1，所以固定 ε = 0.5 时没有统一的正尺度。每个固定有限 N 的族仍然等度连续；一次 δ 失败不会否定“存在另一个更小的 δ”。