# Is there a known bound in prime gaps?

Is there known to be an $x$ such that for all positive integers $N$ there exists some $n>N$ such that $p_{n+1}-p_n \leq x$, where $p_n$ is the $n$th prime? Or, in other words, is it known that limit as $n$ goes infinity of $p_{n+1}-p_n$ is not infinity? If such an $x$ is known to exist, what is the current best known $x$? (Showing $x=2$ would imply the Twin Prime Conjecture, of course.)

-

(Edit: things have happened since the original post, changing the short answer to yes. See for example http://arxiv.org/abs/1410.8400 for the status in 2014 where $x \leq 600$ unconditionally. GRP End Edit)

The short answer is no, though if one assumes the Elliot-Halberstam conjecture then one can take x=16. See

http://arxiv.org/abs/math/0605696

for a comprehensive survey of the best known results (both conditional and unconditional).

There is also the Wikipedia article at

http://en.wikipedia.org/wiki/Prime_gap

although this is less comprehensive.

-

Assuming this is not wrong, the short answer is now 70 million.

See the current front page of the AMS ...

Bounded Gaps Between Primes Wednesday May 15th 2013

That is the title of a paper by Yitang Zhang (University of New Hampshire) that shows that there are infinitely many pairs of consecutive prime numbers that differ by a finite distance. The paper, now posted on the Annals of Mathematics web site, represents progress on settling the Twin Prime Conjecture, which states that there are infinitely many prime numbers that differ by 2. Zhang's paper (available to subscribers) shows that there are an infinite number of consecutive primes that differ by less than 70 million. In an article in New Scientist, Henry Iwaniec (Rutgers University) said that the result is "beautiful." Nature also has an article about Zhang's result. Read Evelyn Lamb's post about the proof and about a proof of the Weak Goldbach Conjecture by Harald Helfgott (École Normale Supérieure) in "This Week in Number Theory" in the new AMS Blog on Math Blogs.

-

The limit you mention isn't well-defined, but you can instead take the lim sup. An elementary argument shows that there's no such x that upper bounds prime gaps; if there were, then (x+2)! + 2, (x+2)! + 3, ..., (x+2)! + x+1, (x+2)! + x+2 are all composite, which would lead to a contradiction.

You can also ask "What's the smallest x such that p {n+1} - p n < x infinitely often?," which is probably closer to what you intended. I don't think that any such constant x is known to exist unconditionally, but assuming a strong conjecture known as the Elliott-Halberstam conjecture, Goldston, Pintz, and Yildirim have shown that you can take x = 20.

-
The second thing you said is just the lim inf. – Qiaochu Yuan Oct 26 '09 at 23:23