6
$\begingroup$

I have read that the Riemann Hypothesis is equivalent to

$\pi(x)=\text{Li}(x)+O(\sqrt{x}\log x)$

Is there an analogous statement saying the Riemann Hypothesis is equivalent to

$\pi(x)=\frac{x}{\log x}+ O(f(x))\quad$ for some $f$

or

$\pi(x)=\frac{x}{\log x}+ g(x) + O(h(x))\quad$ for some elementary function $g$ and $h$

I'm guessing that $f$ could not possibly be $\sqrt{x}\log x$ because I plotted

$\frac{\text{Li}(x)-x/\log(x)}{\sqrt x\log x}$ and it looked like it grew without bound as $x$ goes to infinity.

$\endgroup$
3
  • 8
    $\begingroup$ Yes to the second one: g(x)=Li(x)-x/log x; h(x)=sqrt(x)log x $\endgroup$ Jul 19, 2011 at 7:03
  • $\begingroup$ Changed my post to include that $g$ must be an elementary function. $\endgroup$
    – user16557
    Jul 19, 2011 at 7:14
  • $\begingroup$ and that assuming RH we can refine $\mathcal{O}(x^{1/2+\epsilon})$ to $h(x) = \mathcal{O}(\sqrt{x} \log x)$ should come from the fact that we know there are $(C T+\mathcal{O}(1)) \ln T $ non-trivial zeros $Im(\rho) < T$ fr.wikipedia.org/wiki/… $\endgroup$
    – reuns
    Feb 21, 2016 at 21:21

1 Answer 1

20
$\begingroup$

It is not hard to show that $$\mathrm{Li}(x) = \frac{x}{\log x} \sum_{k=0}^{m - 1}{\frac{k!}{(\log x)^k}} + O\left(\frac{x}{(\log x)^{m + 1}}\right)$$ for any $m \geq 0$ (just use the definition of $\mathrm{Li}(x)$ and repeated integration by parts). Thus $$\pi(x) = \frac{x}{\log x} \sum_{k=0}^{m - 1}{\frac{k!}{(\log x)^k}} + O\left(\frac{x}{(\log x)^{m + 1}}\right).$$ It is not possible to improve on this (this is true unconditionally; you don't even need the Riemann hypothesis). So $\mathrm{Li}(x)$ really is the "better" approximation to $\pi(x)$ compared to $x/\log x$.

$\endgroup$
1
  • $\begingroup$ so x is prime when floor(pi(x))<floor(pi(x+1)) $\endgroup$
    – JMP
    Jan 26, 2016 at 21:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.