4
$\begingroup$

Theorem 2.2 in Shparlinski 2006 says:

For all positive integers $n\le x$ except possibly $o(x)$ of them, the bound $M(x)\ll\frac{x}{\log x}\exp\left((C+o(1))(\log\log\log x)^2\right)$ holds.

The "except possibly $o(x)$ of them" part seems to substantially weaken the conclusion: there could be a block of $x^{0.99}$ numbers where this does not hold, where the counting function $M(x)$ could increase dramatically. (I suppose the inequality has to hold again after the block, so it couldn't be the case that its value increases on every odd number in the block.)

But looking at the proof, I don't see where the "except possibly $o(x)$ of them" part comes from. So I have two questions:

  1. Is this assumption needed, and if so where?
  2. Given that there could be a block of length $o(x)$ on which the inequality does not hold, but knowing that it holds before and after the block, how much of a deviation is possible? In other words, how much strength can be retained when changing from "for almost all" to "for all"? $M(x)=o(x)$ is evident, but more can be done I think.
  • 1
    At first glance I don't see where the "except possibly" is needed. Usually, because of the nature of counting functions, we never have the condition "for almost all", this more often comes up when looking at properties of average integers.2012-03-22

1 Answers 1

3

This can't possibly be what Shparlinski means. He says "For [almost] all positive integers $n\le x$", but the assertion doesn't have an $n$ in it at all. He must simply mean the estimate on $M(x)$ holds for all $x$.