解法：陶哲轩利用对数平均相关性给出的埃尔德什差异问题证明(2015年)

陶的第4节并未断言对任意周期 $q$ 都有字面的恒等式。在命题1.11写成 $\mathbf{g}(n)=\tilde{\boldsymbol{\chi}}(n)n^{i\mathbf{t}}\mathbf{h}(n)$（余因子 $\mathbf{h}$ 接近 $1$）之后,推广的 Borwein–Choi–Coons 论证通过区间平均与特征和推出发散的二阶矩 $\sup_n\mathbb{E}\left|\sum_{j=1}^n\mathbf{g}(j)\right|^2=+\infty$. 它以显式的 $\tilde\chi_3$ 构造为模型,但不是任意 $q$ 下相同的逐点公式。