Skip to main content
4 of 4
added 3 characters in body
Peter Humphries
  • 8.4k
  • 3
  • 51
  • 75

$\sum_{d\leq x} (\mu(d)/d) \log(x/d)$: is (the analogue of) Mertens' conjecture still false?

It is known to be false that $\sum_{m\leq x} \mu(m) \leq \sqrt{x}$ for all $x$ (Mertens' conjecture), and it is generally believed that $\lim \sup_{x\to \infty} |M(x)|/\sqrt{x} = \infty$. From the latter, it would follow that $$\lim \sup_{x\to\infty} \sqrt{x} \left|\sum_{m\leq x} \frac{\mu(m)}{m}\right| = \infty,$$ by partial summation. However, what about a smoothed sum, such as $$\sum_{m\leq x} \frac{\mu(m)}{m} \log \frac{x}{m}?$$ Is it clear that $$\lim \sup_{x\to\infty} \sqrt{x} \left|\sum_{m\leq x} \frac{\mu(m)}{m} \log \frac{x}{m} - 1\right| = \infty?$$ If one can't deduce the truth of this easily from $\lim \sup_{x\to \infty} |M(x)|/\sqrt{x} = \infty$, I'd be interested in what standard random models imply on the matter.

H A Helfgott
  • 20.2k
  • 3
  • 43
  • 126