# Is there an elementary proof that next prime number is guaranteed to be relatively nearby, that does not involve prime number theorem-related maths?

I asked this question yesterday, perhaps a bit too hastily:

Does the prime number theorem tell us that the next prime number is guaranteed to be relatively nearby?

I think I bit off more than I can chew with this question, as I know little about the maths surrounding the prime number theorem. However, I asked the question assuming that any proof that

$$\displaystyle\lim_{n\to\infty}\ \frac{p_n}{p_{n+1}} = 1\quad \text{where}\ p_n\ \text{is the n-th prime number}?$$

will require knowledge of the PNT, especially the proof of the PNT itself, which I do not have. Is there an elementary proof of the above statement, that does not require knowledge of the PNT or related facts, or difficult number theory?

For example, the proof that there are infinitely many primes is not too difficult to understand, and doesn't require any advanced number theory. So I am wondering if there is a proof that the primes are eventually relatively close with a similar level of difficulty to the proof that there are infinitely many primes. Sorry for not providing this information sooner.

• Off hand. I doubt it. May 22, 2021 at 17:01
• Why, because that's the whole point of the PNT and the surrounding maths? May 22, 2021 at 17:02
• It is a corollary of PMT, although not the only point. May 22, 2021 at 17:07
• I think Bertrand's "postulate", which says there's always a prime between $n$ and $2n$, is a non-trivial theorem. May 22, 2021 at 17:35
• @Peter " "related facts" - a quite broad formulation what is allowed and what not. " That's a good point. I guess I mean- not containing any difficult number theory. It sounds like the answer is "no", especially due to Andreas Blass's comment: if PNT were easy to prove/"trivial" then Bertrand's Postulate would also be "trivial". So there we go. May 22, 2021 at 17:43

The first elementary proof of the PNT famously happened when Erdos proved that $$\lim_{n\to\infty}\frac{p_n}{p_{n+1}}=1$$, and then Selberg combined that with some of his other works to derive the PNT in an elementary fashion. If you wish to call Erdos's proof of the $$\lim_{n\to\infty}\frac{p_{n}}{p_{n+1}}=1$$ an "Elementary proof without prime number theorem related maths" then you have your answer, but seeing as this was the crucial step missing for a full elementary PNT proof I'd call that a stretch. I don't think that there is any more complete answer to your question one can give, short of transcribing a rendition of Erdos's proof.