由 (x−1)+(2−x)=1,AM–HM 不等式给出 x−11+2−x1≥(x−1)+(2−x)4=4,当 x=23 时取等。当 1<x<2 时,二次式 x(x−3) 的取值范围为 [−49,−2),故 ∣x(x−3)∣>2,从而 x(x−3)3>−23。合并两个界得 1<x<2 时 d(x)>4−23=25>2,由第3、4步,这证明了在每个区间 2n−1<x<2n 上 d(x)=g(x)−f(x)>2;由第2步,交换 f,g 角色应用同一估计即覆盖 2n<x<2n+1,故对满足 0<x<2018 的一切非整数 x 都有 ∣f(x)−g(x)∣>2。