Let be multiplicative, with at primes and for every . If , , and , we prove with effective implied constants. Montgomery and Vaughan proved this with second term , and, for -bounded functions, Bachman replaced it by . We remove the factor from Bachman’s second term while retaining the original coefficient hypotheses of Montgomery and Vaughan. A more precise estimate records the distance from a rational number. The proof combines the Brun-Titchmarsh inequality on short intervals with maximal Fourier estimates derived from the Carleson-Hunt theorem; the local bounds permit arbitrary prime-dependent prefixes. We also prove sharpness of the square-root displacement dependence.

生成讲解博客的中文版本

生成AI智能校验的中文版本