解法: 対数平均化された相関によるタオのエルデシュ不一致問題の証明(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$ に対する同じ点ごとの公式ではない。