# A Thanksgiving Treat

*Another proof that there are an infinite number of primes of a special form*

Cropped from Packard Fellow src |

Trevor Wooley is a professor of mathematics at the University of Bristol in the UK.

Today, Ken and I want to say our thanks and share some small amount of fun with you all.

Wooley, a number theorist, is the author of a neat short paper in the Math Monthly. It appeared a while ago, in 2017, but I only saw it today when I looked over some old copies of the Monthly. The copy of the journal was in my Atlanta home.

The Monthly is another item to be thankful for. Since it is a journal the proper style would be to italicize it as *American Mathematical Monthly* or abbreviate it similarly. But it is such an old and shared friend everyone knows it as the Monthly. It is a great gateway for reading about the essence of research old and new. We are thankful that Ken had a joint paper there earlier this year.

## Some Motivations

Wooley’s paper starts out by addressing an open problem that has “officially” been open for about 50 years but may have been thought about by readers of Euclid 2,300 years ago—who knows? Everyone knows how Euclid’s proof of the infinitude of primes works:

- Suppose are all the primes we know.
- Form .
- Define to be the least prime divisor of .
- Then cannot equal any of so it is a new prime.

The open problem is,

If we start with and iterate, do we geteveryprime?

The sequence begins: the least prime divisor of , the least prime divisor of , which is . We have hopped over , and it takes awhile to get it:

- ;
- , so ;
- , so ;
- , so finally .

As Wooley notes, this the opposite of a computationally efficient procedure for generating primes. Its motivation is really about the effectiveness of modeling aspects of the primes as random processes. Here the next prime to get is , and we expect it to come eventually because each iteration is like a random trial with probability of succeeding and we get infinitely many trials. This argument applies to getting every individual prime. But amazingly no one has proved it.

What Wooley does instead is give a different kind of “Euclid proof” in which the attainment of every prime is provable. Here “Euclid proof” means the above process but changing how is defined. Here is his main theorem:

Theorem 1Given , take and instead of using , define

Then the sequence enumerates the primes in order.

To start off, we have , , and . We get , and the least prime divisor of is . Then we have and . This is already beastly to compute, but we can note that —or to any power—is always one more than a multiple of , so we know we will get . And so on with , …

Our motivation instead is to facilitate proofs of infinitely many primes that have other properties, such as being in a certain congruence class. We posted about this last July. We think there may be further uses of his theorem and ideas related to the lemma on which it is based.

## Main Lemma

Wooley’s lemma works for any integer :

Lemma 2When is a positive integer the least prime divisor of

is always the smallest prime not dividing .

We can’t improve on the sprightliness of the proof in Wooley’s paper. Now to get the exhaustive generator, we want to change the words “smallest prime not dividing ” to “smallest prime larger than .” This is achieved just by substituting for in the body of the lemma. We get the smallest prime not dividing which is the same as the smallest prime larger than .

As Wooley also remarks, other formulas besides making a triple power-tower of and subtracting can be made to work. He gives his own thanks to Andrew Booker and Andrew Granville for suggesting:

Lemma 3When is a positive integer, the least prime divisor of

is the smallest prime larger than .

## A Further Application

The following illustrates the intended use for congruences:

Theorem 4There are infinitely many primes of the form .

*Proof:* Suppose there were only finitely many primes of the form . Let be their product. Apply Lemma 3 with . Then all prime divisors of must be and hence of the form . Thus too must have the form , which means that must have the form . But this is false for .

Harking back to Wooley’s motivation, this still stops short of *enumerating* all the primes of the form . But it is a proof of their infinitude.

## Open Problems

Can this proof idea be used prove something else? What about primes of the form and so on?

I found a paper here with an interesting approach to Goldbach’s conjecture:

https://arxiv.org/abs/1811.02415

I am curious what you think.

Craig

Sent from my Sprint Samsung Galaxy S® 6 edge.

I’m afraid that’s not a proof and there’s nothing in that writeup not already known. It’s using a technique mathematicians would identify as sieving (https://en.wikipedia.org/wiki/Sieve_theory). The problem is that it’s looking at the limit for large N and doesn’t handle the error terms. By “error term”, I’m referring to how (N-1)/3 goes to N/3 as N->inf, and -1/3 would be the error term. The error terms are exactly what makes Goldbach hard: we know on average they are small, but we don’t know how to prove they are always small. The author seems to realize it’s important to be conservative about the direction of the error terms, but he did not close all the gaps related to this. In fact his own chart of P(1-2W) shows his formula is not in fact conservative, and therefore the argument is not complete.