MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm looking at Theorem 3 of this paper, which is

If $\:x\geq \exp(\exp(45))\:$ and $\;\;h\:\geq\:3\cdot x^{\frac23}\;\;$ then $$\pi(x+h)-\pi(x) \; \geq \; h\cdot \left(1-\left(3192.34\cdot \exp\left(\left(-\frac1{283.79}\right)\cdot \left(\left(\frac{\log(x)}{\log(\log(x))}\right)^{\frac13}\right)\right)\right)\right)$$

The term starting with 3192.34 goes to zero as $x$ goes to infinity, which results in
$\pi(x+h)-\pi(x) \: \approx \: h \: = \: (x+h)-x \: \not\approx \frac{(x+h)-x)}{\log(x)} \;\;$,
contradicting the prime number theorem.

What am I missing here?

share|cite|improve this question

closed as off-topic by Felipe Voloch, Andrés Caicedo, Andy Putman, John Pardon, Alain Valette Aug 18 '13 at 6:20

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Felipe Voloch, AndrĂ©s Caicedo, Andy Putman, John Pardon, Alain Valette
If this question can be reworded to fit the rules in the help center, please edit the question.

It's a typo. Should have been $h/\log x$ times blah. Look at the proof (which is three lines long). – Felipe Voloch Aug 18 '13 at 2:40