Imagine a magic rope. It's long, stretchy, and beautiful. Let's take it with us on a trip through the positive integers. We can start wherever you like, and we'll go toward infinity. We put one tip of the magic rope down at our feet, at whichever integer we happen to be standing on. The other end of the magic rope trails behind us on the number line on a lower integer. Along its length, our magic rope contains numbers that are full of possibilities.
Although we're still wandering around, letting the rope drag freely along the numbers, we might be curious about the prime numbers our magic rope happens to be touching. Primes, remember, are numbers that are only divisible by themselves and 1, and they are one of the greatest mathematical mysteries. Primes are to integers (whole numbers) as the elements are to chemistry. Just as all matter is made up of the elements on the periodic table, so all integers are made up of primes. Any whole number that's not a prime can be created by multiplying primes together - and there's only one way to create any given whole number by doing so!
For example, the first four primes are 2, 3, 5, and 7. If we multiply them together, we can produce 4 (2x2), 6 (2x3), 8 (2x2x2), 9 (3x3), 10 (2x5), 12 (2x2x3), 14 (2x7), 15 (3x5), 16 (2x2x2x2), 18 (2x3x3), and so on. So we've been able to create most of the numbers from 2-18 by multiplying just our first four primes. And we could create many more numbers - an infinite number, in fact - by multiplying just these four primes an increasing number of times. But even between 2 and 18, we have a few holes. We couldn't create 11, 13, or 17 in this way, because these numbers are primes themselves.
That's why primes are a little like the chemical elements. And just as establishing and studying the chemical elements was a crucial step in the development of chemistry, so understanding the patterns in the prime numbers is central to mathematics. So we might be curious about what we can find out about the primes on our magic rope.
Once we decide where the far tip of the rope will go, it would be especially nice if we could say exactly what prime numbers are on our magic rope. Unfortunately, that would be a little bit like figuring out exactly who the love of your life will be, years before meeting him or her. You might be able to predict that you'll fall in love one day, and maybe even that you'll get married. You might know some things about that person: their gender, the way they'd treat you, that sort of thing. But it's hard to be more specific than that.
We have the very same issue for the prime numbers. It's hard to know their exact identity, especially when there are so many of them. After all, they go on forever! Figuring out the exact identities of the prime numbers on our magic rope is going to be a challenge, when there are so many primes, and yet so many more non-prime numbers!
Just like our one true love, though, we might be able to predict something about the prime numbers on our magic rope, depending on how far we stretch it out behind us. Perhaps we can identify the smallest or the largest prime in our magic rope, or at least figure out what their maximum or minimum size could possibly be. Alternatively, maybe we can say exactly how many primes are on it. Or if even that is too exact, we might be able to find a cap on the number of primes that could possibly be on it. There might also be at least a certain minimum number of primes on our magic rope.
Let's take another look at our magic rope. We're standing right now on, say, 192. We put the magic rope with one tip at our feet, right on 192. The other end is on some lower number. Could be 10, or 79, or 191. We don't know how big our magic rope is. Is it always the same size? Does it get bigger or smaller as we go higher?
Notice that we now have two general questions.
- What can we say about the number of primes on our magic rope?
- How big is our magic rope, and where are we standing?
These two questions must be related. Primes are spaced out in a curious fashion. As we go higher and higher, they tend to be spaced out further apart. Remember, the first few primes are 2, 3, 5, and 7 each separated by a distance of 1 or 2 from its neighbors. Higher up, we find 1153, 1163, 1171, and 1181, which are spaced out by distances of 8 or 10. These spacings get wider and wider as we go higher.
However, even some very large primes are pretty friendly: there are an infinite number of primes that are no farther apart from their neighbors than 246, and it's possible that there may be an infinite number of primes that are as close as they can possibly be - separated by a distance of only 2. We call these "twin primes," and this hypothesis is the "twin prime conjecture." So primes in general like to have more and more space to themselves the higher we go, but there also seem to be some primes that are quite cozy with their neighbors.
So the size of our magic rope is going to matter when we're trying to figure out what we can say about the number of primes on it. For example, if our magic rope is of the size 246, we can say that as we go higher and higher, we'll never stop finding places where both tips of the magic rope are touching prime numbers.
But notice in this most recent example that the rule only applies on certain steps as we walk up the number line. And those steps might be rare indeed, the higher we go. We're guaranteed to never stop finding them, as long as we keep climbing, but it will be a rare day when we do. The size of the magic rope isn't the only thing that matters. Any relationship between our magic rope and the primes will depend on whether we're trying to find a narrow rule, that only applies on certain steps, or a universal rule, that applies on every single integer as we walk from our starting point toward infinity. The twin prime conjecture is a narrow rule.
We are finally ready to understand Ramanujan primes. These special primes play a crucial role in a universal rule about prime numbers. As we walk from any starting point upward towards infinity, it turns out that we can say something about the primes on our magic rope for every step along the way, if we think about the size of our magic rope and about our starting point in a certain way.
The magic rope needs to get bigger the higher we go. In fact, we can be more precise, and say exactly how big it must be, the higher we go. For whichever integer we're standing on, our magic rope has one end at our feet, and the other end at an integer that's just shy of half the size. If we're standing on an even number, we put the other end of the magic rope on a number half the size of the number we're stepping on, plus one. 10 goes to 6, 20 goes to 11, 100 goes to 51. If we're standing on an odd number, we put the magic rope's other tip on a number half the size of the number we're standing on, rounded up. 11 goes to 6, 21 goes to 11, 101 goes to 51. See how the size of the magic rope gets bigger as we stand on higher and higher integers?
If this is how we define the magic rope, then we are able to learn one of the holy mysteries of the primes. It was revealed to the Indian mathematician Ramanujan by the goddess Lakshmi, and is a thought of God (according to him).
We can't say exactly which prime numbers live on our magic rope, or how big they are, or precisely how many there are. But we can put a lower bound on the number of primes on our magic rope. We can say that there must be at least a certain minimum number of primes. Some magic ropes have at least one prime. Others have at least two. Our magic rope may have at least 1,000 primes inside of it, or perhaps even more! This lower bound depends on where on the number line we're standing, which also determines how big our magic rope is.
Can we be more specific? There is a lower bound to the number of primes on our magic rope. But can we say exactly what that lower bound is, depending on where we're standing on the number line? As it turns out, we can.
If we know the size of this lower bound on a certain integer, then we can be certain that it will either stay the same or get bigger as we climb higher and higher. This isn't obvious. Remember that as we climb higher, the primes get more spaced out, making it harder to fit them all on our magic rope. At the same time, as we climb higher, our magic rope is getting bigger, making it easier to fit more numbers on it. But at the same time, the lower end of the magic rope, which is in a region of the number rope where there are more primes, is getting pulled along with us into a region of lower "prime density."
Which of these trends will win out? Will the primes get so spaced out that they stop fitting on our magic rope? Or will our magic rope get so big that it can easily fit more and more primes? Lakshmi revealed to Ramanujan that the second possibility is true: the magic rope gets bigger so fast that its growth outpaces the increased spacing of the primes.
That tells us something important about our magic rope and the lower bound of the number of primes that live on it. If our lower bound is 10 when we're standing at a certain point, it means that there are at least 10 prime numbers, and maybe more, on our magic rope. Not only that, it means that no matter how high we climb, we can always be sure that there are at least 10 primes on our magic rope! Of course, the lower bound may not always be 10 - this is just an example. If we do know what our lower bound is at a certain point in the number rope, then we can be quite sure that the lower bound is the same or greater for numbers even further toward infinity on the number line.
But how high do we have to climb before we can be certain that our lower bound is 10?, or 2, or 10,000? As we climb higher, does the lower bound increase by one at a time, or does it jump up by different amounts?
As it turns out, Ramanujan was able to show that as we climb higher, the lower bound stays steady for a while, and then occasionally increases by 1. When we're standing on the number 2, for example, our magic rope has at least one prime on it. One tip is on 2, and the other tip is on 2 ÷ 2 = 1. 2 is prime, but 1 is not, so our magic rope contains just one prime, which is two. We happen to know that when we're standing at 2, the magic rope contains precisely one prime.
However, Lakshmi isn't guaranteeing this. The magic rope only guarantees that there's at least one prime here. When we're standing at 10, for example, the magic rope stretches from 10 down to 5. Two primes live on this magic rope, 5 and 7. That fits our rule that there should be at least 1 prime on the magic rope.
This lower bound stays the same until we get to 11. Here, the lower bound increases by 1. At 11 and beyond, there are always at least two prime numbers on our magic rope! At 17, the lower bound increases by 1 again, to 3, so that there are always at least three prime numbers on our magic rope once we get to 17.
You might have noticed that 2, 11, and 17 are prime numbers. This brings us to our last point. But first, let's review what we know.
- As we climb higher through the integers, our magic rope gets bigger, so that one tip is at our feet. To find the other end, go to a number half the size of the number we're standing on now, and either round up (if we're at an odd number and get a fraction when dividing by 2) or add 1 (if we're at an even number and get a whole number when dividing by 2).
- There is always a lower bound to the number of primes on our magic rope.
- The size of that lower bound starts at 1. As we climb higher through the integers, the lower bound either stays steady or increases by 1.
It would be really nice to know when the lower bound increases. As it turns out, the lower bound increases on some, but not all, prime numbers. 2, 11, and 17 are the first three points where the lower bound increases. These are called Ramanujan primes.
Here is how they are defined mathematically. From Wikipedia:
The nth Ramanujan prime is the least integer Rn for which π(x) - π(x/2) ≥ n, for all x ≥ Rn.
Can we relate this crisp, formal, and perhaps intimidating definition to what we just talked about? Let's break it into pieces:
"The nth Ramanujan prime"
As we walk toward infinity, these are the numbers where the lower bound on the number of primes on our magic rope increases by 1. The first of these Ramanujan primes is the 1st, the second one is the 2nd, and we might say that an arbitrary one is the "nth."
"is the least integer Rn"
Remember, once the lower bound on the number of primes on our magic rope increases, it will stay at least that high to matter how much higher we go toward infinity. We're curious to find the very first, smallest point where the lower bound reaches a certain level - which is just another way of saying that we're looking for the point where the lower bound increases by 1!
"for which π(x) - π(x/2) ≥ n."
π, it turns out, is not just a number. It is also a function, which is kind of like a factory. You put raw materials into the factory, like steel and rubber, and it spits out a useful product, like a car. Likewise, if you put a number into a function, it'll spit out another useful number.
Let's consider another magic rope, which we'll call the enchanted rope.
Again, we put one tip of this rope at our feet. But while we put the other end of the magic rope at a number a little over half the number we're standing on, such as 10 and 6, or 499 and 250, the other end of the enchanted rope always goes on the number 1. The magic of the π or "prime-counting" function is that it tells us the exact number of primes on the enchanted rope!
Earlier, we considered all the things we might want to know about primes on our magic rope. One of them was the lower bound, which we can find on our magic rope. The enchanted rope has more specific information - not just the minimum number of primes there might be, but the exact number of primes there are! It's the difference between knowing that at least 3 of your friends coming to your birthday party, and knowing that exactly 5 of them are coming.
Why bother with the magic rope and Ramanujan primes, then, if we have the π function to tell us exactly how many primes are on the enchanted rope? The most important reason is that, although we have a useful estimate, we don't know how to precisely compute the π function! It's really just a word for a mathematical invention that hasn't been created yet - the cold fusion reactor or the flying car of math.
However, the π function is still useful in order to express certain thoughts, just like the word "flying car" might help spark an inventor's imagination. In this case, π(x) - π(x/2) is just a way of expressing the exact number of primes on our magic rope. Remember, we don't know the exact number. We only know the lower bound.
That's where the next bit comes in. When it says π(x) - π(x/2) ≥ n, it's saying that the exact number of primes on our magic rope is at least equal to n - so n is our lower bound for the number of primes on our magic rope! And the Ramanujan primes are those special primes where n increases by 1.
"for all x ≥ Rn."
Rn, remember, is our Ramanujan prime - the number where our lower bound n increases by 1. This bit is just saying that the lower bound is equal to n not only exactly at the Ramanujan prime number, but also for all the numbers ("for all x") higher than this (Rn).
If you were a mathematician, you might be curious to know more about Ramanujan primes. Remember that prime numbers are a great mystery. We don't know how to calculate exactly how many primes are on our magic rope, and we certainly can't easily compute the locations of the prime numbers as we climb toward infinity. We can only find new ones with a combination of extremely complicated algorithms and a supercomputer. But remember, there are an infinite number of primes. Finding gigantic unknown primes is a very expensive endeavor unless we find a better strategy.
To eat away at the problem bit by bit, you might try to find new things to say about Ramanujan primes - again, the points where the lower bound of the number of primes on our magic rope increases by 1. If you can't say exactly where these Ramanujan primes are, perhaps you can figure out another magic rope - let's call it the Lakshmi rope - where they live. In fact, a few mathematicians by the names of Sondow, Laishram, Nicholson, and Noe revealed the Lakshmi rope in 2009-2011. Perhaps there are further mysteries to be revealed inside of the Lakshmi rope itself.
I composed this article for a few reasons. First, I wanted to understand what a Ramanujan prime was for myself. It helps me to think about mathematical problems in a visual, or geometric, sense. As I tried to apply a little imagination to that terse formal definition of Ramanujan primes, I found that the contemplation was so beautiful that I wanted to try and share it. And as I wrote the article, I found that the act of writing it uncovered what felt like the first sparks of a creative relationship with pure mathematics. Translating a visual impression into crisp algebraic terms, and then contemplating other associated questions about the topic and their relationships, gave me a little bit of an idea about what it might be like to do mathematical research.
This, it seems to me, is exactly the sort of relationship with mathematics that the very best math teachers hope to inspire in their students. Today, I was able to inspire it in myself. And I hope to pass some of that onto you.
Thanks to jmv, gjm, and Taleuntum for catching mathematical errors!