Proof due to Idris D. Mercer: www.idmercer.com/primes-density.pdf Join Wrath of Math to get exclusive videos, lecture notes, and more: th-cam.com/channels/yEKvaxi8mt9FMc62MHcliw.htmljoin More math chats: th-cam.com/play/PLztBpqftvzxXQDmPmSOwXSU9vOHgty1RO.html
I do enjoy the joke at 4:50 where you just ignore that question and move on But if anyone IS curious, the only thing relating pi and prime counting is that "prime counting function" and "perimeter of a circle" both start with the letter P, so mathematicians used the Greek letter for P (pi) to denote it.
I would encourage anyone, especially people who are new to proofs, who has worked through this proof to open the PDF that one can find in Shaun's pinned comment. Shaun's exposition is excellent. The source document is terse and typical a of journal article (just 2 pages and wide spaced sentences with an "and this..." + stuff then, "implies" + stuff style). Learning to read proofs is a part of the game.
@@YAWTonwhile that is true, people without a strong math and engineering background may not know that for some disciplines log (x) means logₑ(x), while others assume log₁₀(x). As a matter of fact, I have seen people in the computer science field assume it is log₂(x). It can be very confusing.
Let's use ln for base e, lb for base 2 and ld for base 10. Could even do lo for base 8 and lx for base 16. And log has always to be used with specific base. To me that'd make lots of things way less confusing
@@2dark4noirFor the proof shown in the clip, the base of the log is irrelevant, except when where the base is specified (base 4, toward the end of the proof).
at 12:05 you mention that a log without a base written is assumed to be the natural log, but anyone who has used the log button on a casio calculator would know, the tradition is that the natural log is written as ln(x), and log(x) is log base 10. It's fine if you wanted to use log as the natural log, but its not the common way to do things, and your explanation was potentially misleading
For other people reading this, it's important to note that "bounded gap" in this context refers to having infinite primes with a gap lower than the bound. It does _not_ mean there are no, or even finitely many, primes with gaps greater than that bound.
You said something between the lines that many children in prime school intuitively understand. That some infinite sets of numbers on numberline could have small densities (38:00)... Is there any connection between density and something close to Cardinality - Countable, and Uncountable sets? Could we distinguish that all Countable sets have finite density when approaching infinity, but uncountable sets will have infinite density? And there would be probably some exceptions... like Rational numbers with infinite density... and you would be able probably to try device density by something similarly to Computational complexity (if something has density limited by some formula then its "local Cardinality in infinity" would be limited to value of this formula...
@@nickronca1562 That's just because a calculator needs to have both, so the notational difference of logx vs lnx is very convenient. but in many contexts the only log needed is base e log, and so log itself is allowed to stand for this.
depends on the context. For example when you analyze algorithms, the default base for log will be 2. In many cases it's logarithmic growth that is important rather than a specific base so it's important to just be mindful of what you're reading
The theory might be correct, but in practise, I gotta' tell you that prime number density tapers off VERY slowly. I've written a prime generator myself, aiming to eventually use the list to find large prime-less spans; and there are many centuries of numbers that contain 3-6 primes even beyond 580 billion. So the prime # density is still more than half of what it was between, say, 100 and 200.
Yeah I regretted that comment while editing; I just wanted to brush it off and move on; but I wish I hadn't insulted e; I love e. I have since apologized to e privately
When I saw the root x at the end I thought hang on why doesn't this prove the Riemann Hypothesis...? Then I remembered about the 8. Still, I'd want some explanation why the argument cannot be refined to tighten the bound sufficiently to remove this extra factor of 8. I suppose something worth mentioning is that we cannot upper bound pi(x) by x/logx + some multiple of root x, since the RH only refers to the limit, not a stubborn inequality for all x...
It's fascinating to me that prime numbers are both infinite (the amount of them) and infinitesimal (the amount of them compared to non-Prime numbers, though both are countable, hence the same size infinities) at the same time
The same holds for the squares, triangular numbers, powers of 2, fibonacci numbers, numbers without a digit 0 in them, etc. etc. Worlds of wonder await you. 😉
I actually did a similar proof a while back. But, I diverged majorly in step 4. I'm going to denote p(n) to be the number of primes less than or equal to n, as my keyboard doesn't have a pi button. (Lame, I know) Going from p(2^n) - p(2) < 4/1 + 8/2 + 16/3 + 32/4 + 64/5 + ... + 2^n / (n-1) I'll denote a(m) = 2^m / m-1. So, this is p(2^n) - p(2) < a(2) + a(3) + ... + a(n). Next off, we'll note that the first two terms are both 4, and that p(2) = 1. So, p(2^n) - 1 < 4 + 4 + a(4) + a(5) + ... + a(n), or p(2^n) < 9 + a(4) + a(5) + ... + a(n). Next, let's look at a(m+1)/a(m), with the constraint that 4 = 2/m, and 3/2 4. So a(m+1)
Ni Nils, thanks for your support! The two types of exclusive videos I make are the non-math exclusive videos of which I make a few each month and upload to TH-cam for members and to Patreon. There are a lot more normal math lecture videos which are uploaded to TH-cam and available only for channel members; due to Patreon's various video restrictions it's not feasible to upload all of these to Patreon, but if you send me a message on there with the group of videos you're wanting to watch, I can probably find a way to make them available to you (alternatively you could cancel Patreon and join on TH-cam where those member only videos are, but I know that's a pain).
I’m grateful primes get arbitrarily sparse on average or applications using factoring of numbers over, say, 10⁶ would get way more cumbersome and expensive than they are: this way one can just store factorings from the start or factorize more or less quickly using precomputed primes up to that boundary.
That depends on how you define numbers. I guess for any set of numbers, there is always a bigger set of things you can call numbers. So that property becomes fairly trivial quite quickly. Like, the reals form 0% of the complex numbers, which form 0% of the quaternions, which...
The abundance of primes declines to the limit of sequential differences, perhaps about 10^16. That low local abundance persists to infinity, compiling to reach 29.4%. See my demonstration: th-cam.com/video/dksj4ikvgJM/w-d-xo.html
i feel like you guys are gaslighting me 😂 This is always how it was in primary school, but I've never seen log mean base 10 by default after that. In more advanced texts and papers I've read it's almost always natural log, and that's the only one needed (often because the base isn't really important), so just log is used, no need for ln
Sadly shows how old I really am ... even in college, log meant 10 and ln meant e. Then again, we believed that if we parked our stegosaurus on a crack it might have a negative impact on our maternal family's vertebrae. I mean it's not like the math wasn't there to support the claim, we just didn't know that the medical application was incorrect.
Do you mean can we check it by hand? Probably not, given its magnitude. It has more digits than there are seconds in a year. We do need to trust that the testing algorithm was correctly programmed and run.
On an unrelated note: There's the same number of: * Infinite sequences of digits 0,1 * Infinite sequences of natural numbers * Infinite sequences of real numbers * Continuous functions on real numbers
Even more pedantically, the set of all prime numbers would have a cardinality less than the set of all integers because the set of all prime numbers is a subset of the set of all integers and does not contain all integers, so they cannot be the same size and thus there are less prime numbers than integers (kinda)
@@calamitalcomputers even _more_ pedantically, any infinite subset of the natural number has cardinality aleph 0, and so must have the same size. In this example, there’s a one-to-one mapping between primes and integers (or from primes to naturals, then to integers) so the two must have the same cardinality.
There's the same number - of both there are countably many. (The two sets can be mapped one-to-one.) For a trivial subset of your set: consider the set {1, 11, 111, 1111, ...} That's obviously a countably infinite set.
@pietroppic That just means that the prime numbers are _more common_ than natural numbers that do not contain a 5 in decimal notation. That is _not_ the same thing as how many there are when infinities get involved.
@@MikeRosoftJH I understand you learned a little about a fancy thing at some point (countability). That is not however the ONLY reasonable way to talk about "more of these than those". Another way, more discriminating: long run PERCENTAGE of one vs the other. This way is much more illuminating in the case of primes vs other countably infinite subsets of N.
The point of the video though is that you can prove that limit approaches zero without having first proven that pi(x) approaches x/ln(x) as x grows to infinity.
Very nice proof! Very satisfying to see how everything comes together. I came up with my own “proof” that does something similar. It isn’t as rigorous, but I think it’s a bit more intuitive. If you start with the first prime, 2, you know that it is impossible for any even number after 2 to be prime. Before considering any primes after 2, half of all integers after 2 are “prime candidates”, while the other half are composite. Now, let’s look at the next prime, 3. Because 2 and 3 are coprime (they don’t share any prime factors), we know their multiples cycle independently of each other. Because of this, we know that a third of the “eliminated” integers are multiples of 3, and a third of the prime candidates are multiples of 3… which eliminates them. 1/3 of all integers after 3 are not multiples of 2 or 3, so they are our prime candidates. This cycle continues. 5 makes it so that 1/5 of the remaining candidates are eliminated, making the new ratio 4/15. 7 eliminates 1/7 of that, making the new ratio 24/105. Every succeeding prime multiplies the fraction of future prime candidates by (p-1)/p, which, being less than 1, always makes the ratio smaller. While, admittedly pretty shoddy as a proof, demonstrates at an intuitive level that it becomes more and more difficult to find primes the more primes have already been found.
But there's an infinite amount of them. It's like, some infinities are larger than others. Believe it or not, the only reason we know there's infinite primes, is because there's infinite numbers. That's just how infinity works.
...That's not how we know there are infinite primes. Obviously, there needs to be infinite natural numbers for there to be infinite primes, but that's not enough. For instance, the only "prime" (abusing terminology a bit here) under addition is 1.
@@sillymel That is how we know. Because there's always one more when you multiply a concurrent set of primes, and just so you know, it isn't always prime when you multiply a series of primes and add one. That is how we know. There's no trick to it, it's just that there are primes, and infinite natural numbers, so infinite primes. 1 isn't prime. 2 is.
I'm aware how the proof works, and yes, there is a trick to it. You pretty much just said what the trick is: If you take the _first_ n primes (picking the first ones is important; this won't with any arbitrary string of consecutive primes) and add 1, the result is always another prime. That doesn't work with any old subset of the natural numbers. As for the other thing, I'm aware that 1 isn't normally prime. That's why I put "prime" in quotes. To be more specific about what I meant: 1. In this case the natural numbers must include 0, the additive identity. 2. A natural number is a prime-analogue with respect to addition if it can be expressed as the sum of natural numbers in exactly two ways.
Turns out I over-simplified things because I didn't want to explain proof by contradiction here. Ignore that part about 1 plus the product of the first n prime numbers being prime as well. I'm not quite sure I understood what you were getting at in the first half of your. Numbers can't be concurrent. Did you mean consecutive? I really hope there's more to your argument than "Primes exist. There are infinite numbers. Therefore there are infinite primes.
@sillymel if you multiply the 1st n primes and add one, it doesn't always leave a prime. Sometimes, it leaves a composite number, which has a prime factor that is larger than the largest prime in the original calculation.
Proof due to Idris D. Mercer: www.idmercer.com/primes-density.pdf
Join Wrath of Math to get exclusive videos, lecture notes, and more:
th-cam.com/channels/yEKvaxi8mt9FMc62MHcliw.htmljoin
More math chats: th-cam.com/play/PLztBpqftvzxXQDmPmSOwXSU9vOHgty1RO.html
I do enjoy the joke at 4:50 where you just ignore that question and move on
But if anyone IS curious, the only thing relating pi and prime counting is that "prime counting function" and "perimeter of a circle" both start with the letter P, so mathematicians used the Greek letter for P (pi) to denote it.
@@twixerclawford also ‘Product’
I hate it when the sin of gluttony gets in my subset which inadvertently turns it into a different set
Same, it's a massive pain!
I would encourage anyone, especially people who are new to proofs, who has worked through this proof to open the PDF that one can find in Shaun's pinned comment. Shaun's exposition is excellent. The source document is terse and typical a of journal article (just 2 pages and wide spaced sentences with an "and this..." + stuff then, "implies" + stuff style). Learning to read proofs is a part of the game.
A difference in notation: for me and at least one other commenter, log is in base 10 and ln is in base e.
The proof make no assumptions about the unspecified base of log, so the specification of the base is irrelevant.
Me too
@@YAWTonwhile that is true, people without a strong math and engineering background may not know that for some disciplines log (x) means logₑ(x), while others assume log₁₀(x). As a matter of fact, I have seen people in the computer science field assume it is log₂(x). It can be very confusing.
Let's use ln for base e, lb for base 2 and ld for base 10. Could even do lo for base 8 and lx for base 16. And log has always to be used with specific base. To me that'd make lots of things way less confusing
@@2dark4noirFor the proof shown in the clip, the base of the log is irrelevant, except when where the base is specified (base 4, toward the end of the proof).
"Did you know that there are very few primes?"
"Yeah? How many are there exactly?"
"Infinitely many."
"Ooookay"
this is the smallest prime numbered comment. lol.
smart
No
1 is not a prime
2
5 is prime
I just found your channel and your content is awesome! That "sin of gluttony" joke got me good. Thanks for sharing!
Thank you!
at 12:05 you mention that a log without a base written is assumed to be the natural log, but anyone who has used the log button on a casio calculator would know, the tradition is that the natural log is written as ln(x), and log(x) is log base 10.
It's fine if you wanted to use log as the natural log, but its not the common way to do things, and your explanation was potentially misleading
It’s a little misleading to say they get “rarer and rarer” because there are results on bounded gaps between primes, most famously Zhang’s.
Original paper put the upper bound on the gap between primes to be ~70 million. Later results dropped it to ~243.
I agree, but some details one must gloss over in the interest of time
@@agnelomascarenhas8990 Cool! What's the paper? I come from the geometry world so not as familiar with number theory.
For other people reading this, it's important to note that "bounded gap" in this context refers to having infinite primes with a gap lower than the bound. It does _not_ mean there are no, or even finitely many, primes with gaps greater than that bound.
If two primes are close, they can still be rare, surely? As in the average density tending towards zero?
You said something between the lines that many children in prime school intuitively understand. That some infinite sets of numbers on numberline could have small densities (38:00)... Is there any connection between density and something close to Cardinality - Countable, and Uncountable sets? Could we distinguish that all Countable sets have finite density when approaching infinity, but uncountable sets will have infinite density?
And there would be probably some exceptions... like Rational numbers with infinite density... and you would be able probably to try device density by something similarly to Computational complexity (if something has density limited by some formula then its "local Cardinality in infinity" would be limited to value of this formula...
30:29 what if x ≤ 1? The smallest m possible is 1,
4^(1-1)=4^0=1.
So this can't hold for x ≤ 1.
We are looking at the case x->infinity, so it’s enough to consider “large enough” values of x
There's also some nuances when x is a power of 4. For example, when x = 16, then 16
Nvm. Typed too soon
I thought log without a base is log base 10.
Depends, when you first learn it this is generally the case; but after high school it's more common that the assumed base is e.
@@WrathofMath No, that's ln(x). log(x) means log base 10. That's how it is on calculators including both Google calculator and my TI-84.
@@WrathofMath It seems to be field specific as to whether or not log is base 10 or base e. I prefer ln for natural log to avoid this confusion.
@@nickronca1562 That's just because a calculator needs to have both, so the notational difference of logx vs lnx is very convenient. but in many contexts the only log needed is base e log, and so log itself is allowed to stand for this.
depends on the context. For example when you analyze algorithms, the default base for log will be 2. In many cases it's logarithmic growth that is important rather than a specific base so it's important to just be mindful of what you're reading
The theory might be correct, but in practise, I gotta' tell you that prime number density tapers off VERY slowly.
I've written a prime generator myself, aiming to eventually use the list to find large prime-less spans; and there are many centuries of numbers that contain 3-6 primes even beyond 580 billion.
So the prime # density is still more than half of what it was between, say, 100 and 200.
this video has a prime effect on my understanding.
I'm not sure I can keep watching. e is not an ugly number.
41, 43 and 47 are
17, 19 and 53 aren't
If it isn't ugly, then why can't you keep watching?
Yeah I regretted that comment while editing; I just wanted to brush it off and move on; but I wish I hadn't insulted e; I love e. I have since apologized to e privately
@@WrathofMathdont take it back. its so overrated. its nice but it deserves to be knocked down a few pegs
@@WrathofMath Thank you. I'll watch the rest.
When I saw the root x at the end I thought hang on why doesn't this prove the Riemann Hypothesis...? Then I remembered about the 8. Still, I'd want some explanation why the argument cannot be refined to tighten the bound sufficiently to remove this extra factor of 8. I suppose something worth mentioning is that we cannot upper bound pi(x) by x/logx + some multiple of root x, since the RH only refers to the limit, not a stubborn inequality for all x...
There may be very few of them, but there are enough that the sum of their inverses diverges.
It's fascinating to me that prime numbers are both infinite (the amount of them) and infinitesimal (the amount of them compared to non-Prime numbers, though both are countable, hence the same size infinities) at the same time
The same holds for the squares, triangular numbers, powers of 2, fibonacci numbers, numbers without a digit 0 in them, etc. etc. Worlds of wonder await you. 😉
Your videos are fantastic!
Thank you!
I actually did a similar proof a while back. But, I diverged majorly in step 4.
I'm going to denote p(n) to be the number of primes less than or equal to n, as my keyboard doesn't have a pi button. (Lame, I know)
Going from p(2^n) - p(2) < 4/1 + 8/2 + 16/3 + 32/4 + 64/5 + ... + 2^n / (n-1)
I'll denote a(m) = 2^m / m-1. So, this is p(2^n) - p(2) < a(2) + a(3) + ... + a(n).
Next off, we'll note that the first two terms are both 4, and that p(2) = 1. So, p(2^n) - 1 < 4 + 4 + a(4) + a(5) + ... + a(n), or p(2^n) < 9 + a(4) + a(5) + ... + a(n).
Next, let's look at a(m+1)/a(m), with the constraint that 4 = 2/m, and 3/2 4. So a(m+1)
The sum of reciprocal of primes diverges is really counter intuitive given the rarity of prime!
2:16 i think you mean odd
Hello! I am just wondering, yesterday I subscribed to your Patreon, but I can’t watch your members only videos. How do I do? Interesting video btw!
Ni Nils, thanks for your support! The two types of exclusive videos I make are the non-math exclusive videos of which I make a few each month and upload to TH-cam for members and to Patreon. There are a lot more normal math lecture videos which are uploaded to TH-cam and available only for channel members; due to Patreon's various video restrictions it's not feasible to upload all of these to Patreon, but if you send me a message on there with the group of videos you're wanting to watch, I can probably find a way to make them available to you (alternatively you could cancel Patreon and join on TH-cam where those member only videos are, but I know that's a pain).
I’m grateful primes get arbitrarily sparse on average or applications using factoring of numbers over, say, 10⁶ would get way more cumbersome and expensive than they are: this way one can just store factorings from the start or factorize more or less quickly using precomputed primes up to that boundary.
All integers are as scarce. There's literally 0% of the numbers being integers as well. Now that's how crazily large the amount of numbers are.
That depends on how you define numbers. I guess for any set of numbers, there is always a bigger set of things you can call numbers. So that property becomes fairly trivial quite quickly. Like, the reals form 0% of the complex numbers, which form 0% of the quaternions, which...
There are very few primes. An infinite number of them, but, really, not many.
"Very few" in infinity is still infinity.
I’m just in the process of rebooting my brain following a crash.
very nice. very nicely explained, in deed. 👍👍
Thank you!
10:23 IS THAT WHY IT'S CALLED A POWER SET???
Yeah
A very fine lark, good sir! A jolly jape!
A honky-tonk hullabaloo!
0:46 No, not Poisson, but de la Vallée Poussin.
I said Poussin, and used the pronunciation I found upon looking it up - which was similar to Poisson.
You mean asymptotic, not approximate, right?
hiii i love your vids and they're inspiring me to make my own ❤
Thank you and that's awesome! You learn an awful lot making videos, good luck!
3 is our prime of primes, probably.
love 3
I'd go for "There are Infinite primes" :)
I rapped about it once th-cam.com/video/3er2XfJSG_k/w-d-xo.html
The abundance of primes declines to the limit of sequential differences, perhaps about 10^16. That low local abundance persists to infinity, compiling to reach 29.4%. See my demonstration: th-cam.com/video/dksj4ikvgJM/w-d-xo.html
log with no base has ... for 60 years ... meant base 10.
ln meant e
why do u say e?
i feel like you guys are gaslighting me 😂 This is always how it was in primary school, but I've never seen log mean base 10 by default after that. In more advanced texts and papers I've read it's almost always natural log, and that's the only one needed (often because the base isn't really important), so just log is used, no need for ln
Sadly shows how old I really am ... even in college, log meant 10 and ln meant e.
Then again, we believed that if we parked our stegosaurus on a crack it might have a negative impact on our maternal family's vertebrae. I mean it's not like the math wasn't there to support the claim, we just didn't know that the medical application was incorrect.
Prime numbers are few but they are infinite
Nice video
Thank you!
Remember that newest biggest mersenne?
Is there an existing proof that it's prime? Or do we just forever have to trust that they got it right?
I would consult Google before commenting on a TH-cam video if you actually want an answer.
Do you mean can we check it by hand? Probably not, given its magnitude. It has more digits than there are seconds in a year. We do need to trust that the testing algorithm was correctly programmed and run.
@@dropyourself good point.
@@tomkerruish2982you don’t have to trust it. You can implement it yourself too.
Yes it's proven. We don't need to check every factor "by hand" to verify a prime number. How that's done is interesting and worth learning about.
yet, there are as many primes as rationals
This feels incorrect
On an unrelated note: There's the same number of:
* Infinite sequences of digits 0,1
* Infinite sequences of natural numbers
* Infinite sequences of real numbers
* Continuous functions on real numbers
True if lim x->♾️ ln(x) = lim x->♾️ e^x
There are as many primes as computable numbers (which are virtually all numbers you likely ever encountered in your life).
11:55 When you write just log(x) without a base it's assumed it's the log of base 10, isn't it? log base e is ln(x)
There are the same number of primes as integers, actually
Yes, if you cheat like your mentor (not the youtuber)
Even more pedantically, the set of all prime numbers would have a cardinality less than the set of all integers because the set of all prime numbers is a subset of the set of all integers and does not contain all integers, so they cannot be the same size and thus there are less prime numbers than integers (kinda)
@@calamitalcomputers even _more_ pedantically, any infinite subset of the natural number has cardinality aleph 0, and so must have the same size. In this example, there’s a one-to-one mapping between primes and integers (or from primes to naturals, then to integers) so the two must have the same cardinality.
More helpful to consider the sum of the reciprocals. Converge= few, diverge = many.
There are more primes than numbers that dont contain the digit 5
There's the same number - of both there are countably many. (The two sets can be mapped one-to-one.) For a trivial subset of your set: consider the set {1, 11, 111, 1111, ...} That's obviously a countably infinite set.
@MikeRosoftJH the sum of the recyprocal of the primes diverge, while the other converges
@pietroppic That just means that the prime numbers are _more common_ than natural numbers that do not contain a 5 in decimal notation. That is _not_ the same thing as how many there are when infinities get involved.
@sillymel right, since both are subsets of the natural numbers, it could be confusing, right?
@@MikeRosoftJH I understand you learned a little about a fancy thing at some point (countability). That is not however the ONLY reasonable way to talk about "more of these than those".
Another way, more discriminating: long run PERCENTAGE of one vs the other. This way is much more illuminating in the case of primes vs other countably infinite subsets of N.
-1 should be prime 😢
Since pi(x) is x/ln(x), pi(x)/x = 1/ln(x) which equals 0 as x goes to infinity.
“Since pi(x) is x/ln(x)”, no it’s not.
pi(2) = 1, but 2/ln(2)=2,885
The point of the video though is that you can prove that limit approaches zero without having first proven that pi(x) approaches x/ln(x) as x grows to infinity.
Very nice proof! Very satisfying to see how everything comes together.
I came up with my own “proof” that does something similar. It isn’t as rigorous, but I think it’s a bit more intuitive.
If you start with the first prime, 2, you know that it is impossible for any even number after 2 to be prime. Before considering any primes after 2, half of all integers after 2 are “prime candidates”, while the other half are composite.
Now, let’s look at the next prime, 3. Because 2 and 3 are coprime (they don’t share any prime factors), we know their multiples cycle independently of each other. Because of this, we know that a third of the “eliminated” integers are multiples of 3, and a third of the prime candidates are multiples of 3… which eliminates them. 1/3 of all integers after 3 are not multiples of 2 or 3, so they are our prime candidates.
This cycle continues. 5 makes it so that 1/5 of the remaining candidates are eliminated, making the new ratio 4/15. 7 eliminates 1/7 of that, making the new ratio 24/105. Every succeeding prime multiplies the fraction of future prime candidates by (p-1)/p, which, being less than 1, always makes the ratio smaller.
While, admittedly pretty shoddy as a proof, demonstrates at an intuitive level that it becomes more and more difficult to find primes the more primes have already been found.
I’m the best prime comment
your 8th
the prime factors that make up this comment's number are 2 and 5
before anyone gets confused because they add to seven whitch is prime it is partitioning not factors
@@petrolheadshed mb i made a mistake i fixed the wording now
11th comment! (going off TH-cam's counter which I think counts replies)
welcome and thank you for coming
This is stupid..., coz obviously absolutely there are infinitely many primes out there (!!). 😂😂😂
Since I am greek, my educated guess would be that π(x) comes from the greek word "πρώτος" which means prime (when refering to numbers).
90th comment!!
I was thinking why there's only 7 comments untill I saw this video was posted 58 minutes ago...
Because this video is prime content
hope a 40 minute proof video isn't too intense for people!
But there's an infinite amount of them. It's like, some infinities are larger than others. Believe it or not, the only reason we know there's infinite primes, is because there's infinite numbers. That's just how infinity works.
...That's not how we know there are infinite primes. Obviously, there needs to be infinite natural numbers for there to be infinite primes, but that's not enough. For instance, the only "prime" (abusing terminology a bit here) under addition is 1.
@@sillymel That is how we know. Because there's always one more when you multiply a concurrent set of primes, and just so you know, it isn't always prime when you multiply a series of primes and add one. That is how we know. There's no trick to it, it's just that there are primes, and infinite natural numbers, so infinite primes. 1 isn't prime. 2 is.
I'm aware how the proof works, and yes, there is a trick to it. You pretty much just said what the trick is: If you take the _first_ n primes (picking the first ones is important; this won't with any arbitrary string of consecutive primes) and add 1, the result is always another prime. That doesn't work with any old subset of the natural numbers.
As for the other thing, I'm aware that 1 isn't normally prime. That's why I put "prime" in quotes. To be more specific about what I meant:
1. In this case the natural numbers must include 0, the additive identity.
2. A natural number is a prime-analogue with respect to addition if it can be expressed as the sum of natural numbers in exactly two ways.
Turns out I over-simplified things because I didn't want to explain proof by contradiction here. Ignore that part about 1 plus the product of the first n prime numbers being prime as well.
I'm not quite sure I understood what you were getting at in the first half of your. Numbers can't be concurrent. Did you mean consecutive?
I really hope there's more to your argument than "Primes exist. There are infinite numbers. Therefore there are infinite primes.
@sillymel if you multiply the 1st n primes and add one, it doesn't always leave a prime. Sometimes, it leaves a composite number, which has a prime factor that is larger than the largest prime in the original calculation.