I didn't watch this, but it's easy with calculus. The integral of 1/x is ln |x| + c which goes to infinity, as x goes to infinity, albeit very slowly. Sure, your summation formula is integers, and the integral is more granular, but it doesn't matter because the CARDINALITY IS THE SAME as you approach infinity! One just grows faster than the other. Obviously, this isn't as pleasing because it depends on the understanding of the cardinalities of the sets are identical, however we know this to be the case.
I haven't done math proofs or calc. since college but UA-cam has correctly started promoting this content to me and it's really nice to see these clean demonstrations.
@@Qermaq Yep i saw in mindyourdecision too, but they're seen to be complicated (even though he showed that easiest proof), so i asked him to do, because it could be easy to see
@@chickenlittle8158Actually yes. If we take the partial sum and compare them for different series we can see the different "divergence speed" by the ratio of the partial sums as we increase the terms of the partial sums.
I feel like I'm a toddler being successfully convinced to enjoy eating vegetables by a knowledgeable older person. Math normally slides off my brain like water off the back of a duck, but this explanation style was excellent, and taught me a lot!
Very funny to think that the whole front of the harmonic is finite no matter where you cut it off so if you start at 1/1000000000 and then continue the harmonic series +1/1000000001+1/1000000002... and so on, it still diverges to infinity.
The beauty of this series is that it doesn't work in 3d: the paradox of Gabriel's horn. If you turn the graph around is x-axis to get a nice horn, the total content of the horn is NOT infinity, but converges to π.
Fun fact: even if you only have inverses of primes (I.e., 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + … ) it still diverges to infinity. But if you take out all denominators that contain a 9 from the normal harmonic series (I.e., 1/2 + 1/3 + 1/4 + … + 1/8 + 1/10 + … + 1/18 + 1/20 + … ) it converges to a finite sum. (Credit to that one mathologer video)
How come the second one converge. . DOES NOT make sense at all. I dont believe it. If that one converge, then the took out part must also be converge coz it is smaller , then recombine them , must result in converge value.
A bunch of russian mathematicians go to a bar.. The first one wants one bottle of vodka, the second one wants half, the third one a fourth and so the others. Eventually the bartender puts 2 bottles of vodka and exclaims: Sort it amongst yourselves!
@@bprpcalculusbasics My maths knowledge doesn't go beyond... I guess high school level, and I don't really have any clue how a proper mathematical proof works. To me, before having finished the video, it seems like any sequence where the number added doesn't eventually become zero should approach infinity. There's always *something* added so the number will keep growing for infinitely many steps. Given how simple that sounds I can only imagine I'm making a mistake in my logic there, because usually these things are more complex my intuition tells me.
@@rhel373 If you take the sum of 1/(2^n) = 1/2 + 1/4 + 1/8 + ... It approaches 1 not infinity, even though a number > 0 is added to it infinitely times
@@zigzagnemesist5074 Haha. It was a long time ago; it might have been first year high school. Heck, my dad did spherical trigonometry in high school 100 years ago.
Nice vid. Maybe worth mentioning that the numerical proof is much more powerful as it doesn't rely on the huge amount of calculus behind the theorum/proof for Integral (1/x) = log x
@@nchappy16People have that job today. There are even people whose job is just to communicate breakthroughs in science and math to the layman. The difference between the most and least educated humans is EXTREME.
if you start the video at 5:49 and playa it in reverse with the audio set to anything but your native language and that's how I was taught math in public school
In fact, the harmonic series grows very similar to the natural log. For sufficiently large n, 1+1/2+1/3+…+1/n ≈ ln(n)+gamma where gamma=0.5772… is the euler-mascheroni constant. So the amount of terms needed to pass a given number N is approximately e^N
@@Ninja20704 furthermore... We can approach ln(k), whenever k>1 as 1/n + 1/(n+1) + .... + 1/[kn] as n -> infinity; Round kn in the way you feel best if it isn't an integer;
@@Ninja20704 I ran it through WolframAlpha just to see what kind of numbers we're looking at here... e^1,000,000 ≈ 3 × 10^434,294 and the series from 2 to 3 × 10^434,294 is ≈ 999,999.5
Great video demonstrating the proof but we should make sure to make the distinction that infinity is not a number. Infinity minus a real number is meaningless.
I have a much more simple demonstration (beware: joke ahead) -> if you have 1/∞ and sum it up an infinite amount of times, you roughly have ∞/∞ so around 1. If you keep up with the sum, you can basically sum 1 an infinite amount of times, which..... Bring the sum to infinity!! 😂
An intuitive (not rigorous) way to see this goes like this: If you take all elements between index 10 and 100, there are 90 of them and they have a median value of 1/55 so you expect the sum of them should be above 1 If you take all elements between index 100 and 1000, there are 900 of them with a median value of 1/550 so you expect the sum of them to be above 1 And you can go on like that for infinity. The above is not a proof because the median value can be bigger than the average value but it is intuitive and you get the feeling that there has to be a proof that works "kind of like that". And indeed, its not hard to change that into a proof as each of the steps above can easily be proven to have a value > 0.9 by replacing all its terms by the last term. This is quite similar to the usual proof made in the video.
Essentially, that's the same as he does but with base 10 instead of base 2. I think this one is better suited for children that are not yet familiar with base 2 thinking.
He didn’t take the median value in this proof with 1/2 though. Each power of 1/2, he took the minimum value. Which allows any sum of those numbers to be bigger than the minimum.
Just don't look at median value, but the minimum value of your intervals. If you have 90 * (sth that is at least 1/100), you have at least 90/100 = 0.9. If you have 900 * (sth that is at least 1/1000), you have at least 900/1000 = 0.9. ... Even though I don't see how this is more intuitive than taking the powers of 2, taking an obvious lower limit should be more obvious than the median for most people.
@@renem.5852 Of course, and that's what I explain at the end. I was showing a thought process, first I think about adding terms in an exponentially increasing batch size and I use the median value to get an idea of the partial sum because that's what first came to mind and it seems "about" right. This is enough to tell me that there is probably a proof not for away. And you get an actual proof by using the minimal value rather that the median(that doesn't bend well to prove a boundary value) or the average (because you can't easily figure out the average value). When you explore a problem, you don't necessarily get to a proof right away but misses can still be good enough to confirm some ideas and guide you toward a proof.
There is quite a neat proof by contradiction I read in a journal: Assume the harmonic series converges to some real number S. Then S = 1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + ... > 1/2 + 1/2 + 1/4 + 1/4 + 1/6 + 1/6 + 1/8 + 1/8 + ... (Here all we did was replace 1 with 1/2, 1/3 with 1/4, and so on). Then, summing the halves, the quarters, sixths, and so on: = 1 + 1/2 + 1/3 + 1/4 + 1/5 + ... = S We have our contradiction S > S, since no such real S exists.
Upon seeing the thumbnail (but before watching the video), I ended up doing similar logic but in multiples of 10 instead of 2. So like, set all the fractions from 1/2 to 1/10 to equal 1/10 each. Add them up and you get 9/10. Do the same for fractions 1/11 to 1/100, setting them all to 1/100 and you get 90/100... or 9/10. Glad to see I was on the right track even if going by multiples of 2 is way easier to explain!
I just noticed on your shelf that you had boxes and boxes of markers, do you get a good price on those? As a teacher who has had to buy his own markers that looks like an absolute gold mine!
I got them on Amazon, ranging from $10 to $13 a box. Not a bad deal in my opinion. Btw, the “bullet tip” is the must! www.amazon.com/dp/B00006IFIN/ref=cm_sw_r_as_gl_api_gl_i_dl_TPD5KRK4A8PDMT9Y1PRR?linkCode=ml2&tag=blackpenredpe-20
@@bprpcalculusbasics Thanks for the advice, I'll give the bulllet tip a try, I've exclusively used the chisel tip and yeah you gotta hold it at the right angle to write nicely.
A very good and clear to follow video but also can we give credit to how flawlessly and quickly the switch between black and red marker is! I’m very impressed!
When i saw the miniature i thought that video is about Divergence of the sum of the reciprocals of the primes . 1/2+1/3+1/5+1/7...+1/31 but it is complicated to prouf
I just conceptualize it like this. 1 over any positive integer > 0. Therfore, every new fraction added to the series will increase the sum. Therefore, adding infinite fractions must increase the sum infinitely.
This makes sense in a sort of backwards way to me, having come from the physics and music theory/sound design sides of it. This result is one of the necessary building blocks for the blackbody radiation problem -- and it is demonstrated by the audio characteristics of saw waves.
Yep. If a series converges, then if you specify a tolerance, you can find a finite index where every number after that index is within the given tolerance of the true limit.
We can also try to calculate it straightforward. Sum 1/n from 2 to inf = Sum 1/n from 1 to inf - 1. 1/n we can replace with integral of x^(n-1) from 0 to 1. Now we have Sum 1/n from 1 to inf - 1 =sum from 1 to inf of integral x^(n-1) from 0 to 1. - 1. And then we switch the order of summation and integration, so we get integral from 0 to 1 of sum x^(n-1) from 1 to inf - 1 = (after reindexing) integral from 0 to 1 of sum x^n from 0 to inf - 1, which is a geometric series. So we get Integral of 1/(1-x) from 0 to inf - 1 = -ln(1-x) evaluated at one and zero. Then we take a limit as x approaches 1 and get -inf and 0 when x is equal to 0. So finally we have -(-inf) - 0 - 1, which is just infinity.
I remember seeing a neat proof my calc 2 prof showed us, but I don't remember what it was. I think he calculated the rate of shrinkage of the terms, and compared it to the rate of expansion of the sum, and showed that it remained positive for any given number of terms, therefore it must go to infinity.
Idea number one generalizes to Cauchy's Test for monotonic series. The series of a monotonic sequence a_n converges if and only of the series of 2^n a_(2^n) converges. The harmonic series is a model case for the test. As a bonus, you could show that the integral of ln diverges, even if you did not know that it was the inverse function of exp, using you method 1, or Cauchy's Test on the the associated series.
THIS FINALLY MAKES SENSE TO ME! With the demonstration with integral calculus, I could not be convinced that 1/2 + 1/3 + 1/4 + ... could diverge, thank you very much!
Fun fact: H(n) := 1 + 1/2 + 1/3 + .. + 1/n. Then, lim n->∞ [H(n) - ln(n)] = γ , where γ = 0.577216…. is the Euler-Mascheroni constant. This shows that the harmonic series H(n) grows asymptotically like a shifted up log function, which is indeed (albeit very slowly!) divergent as n->∞. We can use this to estimate H(n) for large n, via: H(n) ≈ ln(n) + γ + 1/(2n) + O(1/n²) (this is the asymptotic expansion of H)
As a current 8th grader, I am SUPER HAPPY that you included the integral example! I couldn’t quite understand the first explanation but the second one made me understand in a split second! I LOVE that you include more than one way to solve equations! Thank you!
I was thinking about it. For the sum of the series 1/n for n=1...N, you can create a fraction with a denominator that is N! and the terms are, I think, N!, N!/2!, N!/3! etc. And then I realized that I was just working my way back to the original problem. Whoops!
Simple answer I’d try to give if the person could comprehend is that even if you are adding an infinitely small number to another number… you are still adding a number
another reasoning for the geometric proof is that since 1/x has a horizontal asymptote at 0 it never reaches 0 but it approaches it as x becomes larger and larger. Therfore the "infite" term would be slightly greater than 0 (also known as nth term test) so the final series or sum will not converge because you are always adding to it forever.
The sum of the integers doesn’t converge under normal circumstances. Under a different definition of convergence or of summation then sure, but there’s a good chance that the harmonic series converges in that system too.
@@ConManAU One definition/system used for these types of convergence is the analytic continuation of Riemann's zeta function (zeta(s)) to the complex plane. In this definition, we have indeed zeta(-1)=-1/12. Funnily though, 1 is a pole of zeta(s), and zeta(1) happens to be the harmonic series. So also under this definition the harmonic series is not defined!
Your explanation or addition of the 1/2s to get ~3 at around 5:15 in the video is mistaken. You misaligned the "1/2" for the next power of 2 with the 1/31 group which means you'd have to go to the 1/63 group to actually get ~3. As written on the board, you only had 2.5... unless I'm totally not getting this
did you skip the video? he showed the sum from 1/2 to 1/31 at 1:19 at WolframAlpha. It is more than 3. And his explanation is on point, because he said that the sum from 1/2 to 1/31 was bigger than the sum of the powers of two.
That's not even what he was doing at that point in the video. You're entirely lost. He started out by making a brief point that if you stop the summation at 1/31, it'll go above 3, to address the original question's point that they thought it wouldn't go above 3. After he showed that, he then started an entirely separate explanation to show how the infinite summation would diverge to infinity.
This is basically a proof via a direct comparison test. If b_n > a_n and b_n diverges, a_n must diverge. Never thought of it so much, i just accepted it via the p-series test, where p=1 (the exponent on 1/n) means it is divergent. Maybe you could do a proof where p
I find the latter proof slightly dissatisfying because all the proof hangs on the fact that ln(infinity) = infinity. I wish there was time taken to derive that value, or show that it is obviously infinite.
ln(infinity) is basically asking: "What power must e be raised to in order to equal infinity?". Obviously, the answer to that is infinity. Similarly, ln(2) is asking: "What power must e be raised to in order to equal 2?". And as he said in the video, that value is about 0.693.
@@vijay_veluguri... Actually it was ln(infinity) power for e. e^(ln(infinity)) is infinity as is e^(lnx) = x substitution math that is used to especially solve Lambert W problems.
The first is the classic proof of divergence that I learned in Calc II, and I really like your second approach. But here's the part I never have heard: why doesn't it also apply to 1/n^2? Admittedly I haven't thought about it, but given the infiniteness of it, shouldn't you be able to come up with X terms that add up to 1/2? Or make it 1/4? Or some other finite value? The argument is that you have an infinite number of finite values, so it doesn't matter what that value is.
While integrating from 2 to infinity you are also including decimal points in it like 2.8,2.3,99.1,87.2 but these are not included in 1/n only integer values are allowed.
The most simple explanation I've thought of is to simplify it into a series of repeatedly adding 1/2 to itself, let's start with the fraction 1/2, this alone has increased the sum by 1/2, but now let's look at the fraction 1/4, to get from 1/2 to 1/4 we also need 1/3, 1/3 is greater than 1/4 so we'll simplify it to also being 1/4 meaning that there are actually two 1/4s, meaning we have to add it twice which accumulates to 1/2 again, this leaves the sum at exactly 1 in this simplified scenario, so let's jump over to 1/8 now, this time there are three other fractions that we have to pass to get to 1/8, they are 1/5, 1/6, and 1/7 we'll simplify these all to 1/8 which works since they are all greater than 1/8 meaning we're not increasing what the sum should be but rather decreasing it, however this means that there are four eights which adds up to 1/2 again, this means that by 1/8 the actual series will be greater than 1.5, this just keeps going on, every time the number of fractions added doubles the sum will increase by at least 1/2, this is also only if we limit it to binary, in base 10 you get a more accurate sum approximation that is higher than the base 2 version. But either way, this shows that it does not tend towards any finite amount.
I think a valuable and quick thought experiment is thinking about the sum between '1/1000... --> 1/3000' for example. It' adds up to ~1.00 which is not an arbitrary amount. Same for 1/10.000... --> 1/30.000
In having a hard time understanding how the inequality holds after we are done with the derivation. I understand the logical steps but at the end we end up with inf > inf. Is this correct? I know this doesnt have to do anything with the actual size of infinities as they have the same cardinality. Plugging inf>inf into wolfram alpha returns false but idk if its correct. How does the inequality still hold? Thanks for the video!
Integral of 1/n = ln(n) + c. Ln(n) goes to infinity as n goes to infinity. Therefore 1/n is not bounded. This can be generalized by saying any function n^-p for p equal to or less than one is unbounded. But is bounded for p greater than one.
Another way to think of would be 50% + 33~% + 25% + 20% + 17~% + 14~%... I just think it's easier to visualize the infinity like this, since you see the sum increasing numerically
So essentially: reframe it as an inequality, where the harmonic series is bigger than another series where each element n is rounded down to the next power of 2. This means that for every value 2^n, there exist 2^(n-1) elements that correspond to that value and which therefore add up to 1/2. Thus the series is *at least* as big as 1/2 added to itself an infinite number of times, which is a divergent value. Therefore the series is divergent. QED
"If you add infinitely many positive number you get positive infinity"? In fact, it’s not!
ua-cam.com/video/COeYCy1dkMo/v-deo.html
is this what we suffered for? To be held down by systematic racism! We Democracy. We vote now. Gibs for all Under privileged inner city people!
...and sheeeeet
I didn't watch this, but it's easy with calculus. The integral of 1/x is ln |x| + c which goes to infinity, as x goes to infinity, albeit very slowly. Sure, your summation formula is integers, and the integral is more granular, but it doesn't matter because the CARDINALITY IS THE SAME as you approach infinity! One just grows faster than the other.
Obviously, this isn't as pleasing because it depends on the understanding of the cardinalities of the sets are identical, however we know this to be the case.
That's true if you're adding integers :P
😊@@Bla_bla_blablatron
It's just slow, but it goes "to infinity" through sheer fraction will.
the sheer fraction will when I introduce 1/n^2
The indomitable fraction spirit
@@hardboiledegg2681 well doesnt this just converge to pi^2/6 ?
@@Saber1320 yeah that's the point, this one would converge despite "sheer fraction will"
@@hach1kokothe futile fractional will vs the unstoppable power of a square
I haven't done math proofs or calc. since college but UA-cam has correctly started promoting this content to me and it's really nice to see these clean demonstrations.
Same I’m an accountant I got into school with this 😅
math is Racist! Y'all betta go back to da Crackerbarrel
probably means you share interests with college calc students!
Marker switches so smooth
yea hes very good at it
Thanks!
I ignored the math completely and was just mesmerized by his sleight of hand color changes.
And now you know why the channel is named bprp, because it stands for black pen red pen. The switching is part of the branding.
@@diggoran ***mind blown***
I hate this fact. This series has business being divergent, but here we are
Clearly the series should be exiled from the system and mount a resistence. 😊
Can you teach a proof why pi is irrational, like assuming it to be rational and prove it with contradiction
Mathologer has done a really good video on that. It's quite a bit more challenging than this problem.
ua-cam.com/video/dFKbVTHK4tU/v-deo.htmlsi=n08QZRrYRXzSRdfM
That exercise is trivial and left as an exercise for the reader
- Fermat probably
ua-cam.com/video/dFKbVTHK4tU/v-deo.htmlsi=01bxPVz8EVOpP7E-
@@Qermaq Yep i saw in mindyourdecision too, but they're seen to be complicated (even though he showed that easiest proof), so i asked him to do, because it could be easy to see
Answer: It approaches infinity incredibly slowly.
*infinitely slowly
Logarithm: "hold my beer"
...
"It's going to take awhile"
... can things approach infinity any slower or faster than something else?
@@chickenlittle8158Actually yes. If we take the partial sum and compare them for different series we can see the different "divergence speed" by the ratio of the partial sums as we increase the terms of the partial sums.
Infinite numbers, just like finite ones, are not equal and comes with infinitely different sizes.
I feel like I'm a toddler being successfully convinced to enjoy eating vegetables by a knowledgeable older person. Math normally slides off my brain like water off the back of a duck, but this explanation style was excellent, and taught me a lot!
This comment is misleading, I still don't enjoy vegetables after watching the video.
she toddlers on my vegetable til i math
Goo goo gaa gaa daada baabaa
Bruh how can one not enjoy vegetables, that stuff is addictive af@@TheAlienPoison
@@Matt-lv1jl dog what veggie you consuming
Very funny to think that the whole front of the harmonic is finite no matter where you cut it off so if you start at 1/1000000000 and then continue the harmonic series +1/1000000001+1/1000000002... and so on, it still diverges to infinity.
The beauty of this series is that it doesn't work in 3d: the paradox of Gabriel's horn. If you turn the graph around is x-axis to get a nice horn, the total content of the horn is NOT infinity, but converges to π.
π and e are omnipresent man
@@vanshamb There's circles involved. Not that weird that pi appears.
@@galoomba5559 ohkk then just e is omnipresent ig
Infinite surface area, but finite volume. You could fill it with paint, but can't paint its sides.
@@CliffSedge-nu5fv daym that makes no sense, maths wrong
Fun fact: even if you only have inverses of primes (I.e., 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + … ) it still diverges to infinity. But if you take out all denominators that contain a 9 from the normal harmonic series (I.e., 1/2 + 1/3 + 1/4 + … + 1/8 + 1/10 + … + 1/18 + 1/20 + … ) it converges to a finite sum. (Credit to that one mathologer video)
Lol, that second one seems counterintuitive but actually makes sense thinking about it.
@@matc241why would the second make sense?
I don't understand
How come the second one converge. . DOES NOT make sense at all.
I dont believe it. If that one converge, then the took out part must also be converge coz it is smaller , then recombine them , must result in converge value.
@@theeraphatsunthornwit6266 i agree yeah, it also doesnt make sense considering there are more multiples of 9 than there are primes...
A bunch of russian mathematicians go to a bar..
The first one wants one bottle of vodka, the second one wants half, the third one a fourth and so the others.
Eventually the bartender puts 2 bottles of vodka and exclaims:
Sort it amongst yourselves!
so the infinity shown in the video minus all fractions except the ones where 1 over power of 2 equals 2?
Ah, darn it! I tried to prove it myself first. Failed. Then saw your proof and thought “Darn it! Why didn’t I think of that?!”
I didn't come up with these proofs myself. I learned them when I was a student. I most likely wouldn't be able to come up with them myself.
chocolate pudding
@@bprpcalculusbasics My maths knowledge doesn't go beyond... I guess high school level, and I don't really have any clue how a proper mathematical proof works. To me, before having finished the video, it seems like any sequence where the number added doesn't eventually become zero should approach infinity. There's always *something* added so the number will keep growing for infinitely many steps. Given how simple that sounds I can only imagine I'm making a mistake in my logic there, because usually these things are more complex my intuition tells me.
@@rhel373 If you take the sum of 1/(2^n) = 1/2 + 1/4 + 1/8 + ... It approaches 1 not infinity, even though a number > 0 is added to it infinitely times
Understanding a proof is generally much easier than coming up with said proof
I saw this demonstration in my Real Analysis class 10 years ago. Very elegant.
I saw that proof in middle school.
@@cbunix23 In middle school I didn't now what x meant LOL
@@cbunix23You must live in some advanced alien civilisation if you’re doing these proofs in middle school…
@@zigzagnemesist5074 Haha. It was a long time ago; it might have been first year high school. Heck, my dad did spherical trigonometry in high school 100 years ago.
@@cbunix23Sheet, what kind of alien civilization taught spherical trigs in high school even before ww2?
Thank you. I knew this is a divergent series, but I did not remember if I saw a demonstration for that. Thank you to show me such elegant proof.
It approaches infinity very painfully
Best comm
Nice vid. Maybe worth mentioning that the numerical proof is much more powerful as it doesn't rely on the huge amount of calculus behind the theorum/proof for Integral (1/x) = log x
Y'all stole that from Africa! Or maybe you never heard of Wakanda.
@@Bla_bla_blablatron we wuz kangs
I didn't noticed his second marker at first and got confused on how the color suddenly changed without putting down his arm 😂
You didn't know what the channel name, bprp, stood for, did you?
@@digitig nope just saw this video in my recommendation and decide to click it on a whim
The first proof that you showed is really beautiful! Thank you!
Get your indeterminate cat t-shirt: 👉 amzn.to/3qBeuw6
Keep up the good content man. You are very regular, and I like that!
Ayo the pfp?
@@customlol7890 coincidence
you #1 Racist
This proof is due to Nicole Oresme, a medieval mathematician, theologian, and philosopher.
mfs really just had “smart” as their job and worked in every educated field
@@nchappy16 So true. And the fields weren't as distinct from each other then.
@@nchappy16People have that job today. There are even people whose job is just to communicate breakthroughs in science and math to the layman. The difference between the most and least educated humans is EXTREME.
Would be good if he proved God
@@bardsamok9221Saint Thomas Aquinas already did that tho
if you start the video at 5:49 and playa it in reverse with the audio set to anything but your native language and that's how I was taught math in public school
man, this is just awesome. one of the best calc video ive ever seen, please, never stop doing this
Shout out the limit comparison test and integral test (in order according to powering). This video is literally amazing
I'm gonna be honest, I just watch for how quick you swap marker colors
Even getting to a million would take an incredibly large number.
Because the amount for each next ½ doubles it would take 2^1999999 for the *final ½ alone*
In fact, the harmonic series grows very similar to the natural log.
For sufficiently large n,
1+1/2+1/3+…+1/n ≈ ln(n)+gamma
where gamma=0.5772… is the euler-mascheroni constant.
So the amount of terms needed to pass a given number N is approximately e^N
@@Ninja20704 furthermore...
We can approach ln(k), whenever k>1 as 1/n + 1/(n+1) + .... + 1/[kn] as n -> infinity;
Round kn in the way you feel best if it isn't an integer;
'e' is omnipresent
@@Ninja20704 I ran it through WolframAlpha just to see what kind of numbers we're looking at here... e^1,000,000 ≈ 3 × 10^434,294 and the series from 2 to 3 × 10^434,294 is ≈ 999,999.5
The sum over 1/n^s goes to infinity for s1.
Learned this in calc class yesterday. I think my phone is listening into my classes.
Great video demonstrating the proof but we should make sure to make the distinction that infinity is not a number. Infinity minus a real number is meaningless.
I have a much more simple demonstration (beware: joke ahead)
-> if you have 1/∞ and sum it up an infinite amount of times, you roughly have ∞/∞ so around 1. If you keep up with the sum, you can basically sum 1 an infinite amount of times, which..... Bring the sum to infinity!! 😂
Math is crazy. 1/infinity ≠ 0
Well S = 1/1+1/2+1/3+...+1/n > ln n, and ln n diverges, so so must S.
It does require proof that S>ln n though.
An intuitive (not rigorous) way to see this goes like this:
If you take all elements between index 10 and 100, there are 90 of them and they have a median value of 1/55 so you expect the sum of them should be above 1
If you take all elements between index 100 and 1000, there are 900 of them with a median value of 1/550 so you expect the sum of them to be above 1
And you can go on like that for infinity.
The above is not a proof because the median value can be bigger than the average value but it is intuitive and you get the feeling that there has to be a proof that works "kind of like that".
And indeed, its not hard to change that into a proof as each of the steps above can easily be proven to have a value > 0.9 by replacing all its terms by the last term.
This is quite similar to the usual proof made in the video.
Essentially, that's the same as he does but with base 10 instead of base 2. I think this one is better suited for children that are not yet familiar with base 2 thinking.
He didn’t take the median value in this proof with 1/2 though. Each power of 1/2, he took the minimum value. Which allows any sum of those numbers to be bigger than the minimum.
Just don't look at median value, but the minimum value of your intervals.
If you have 90 * (sth that is at least 1/100), you have at least 90/100 = 0.9.
If you have 900 * (sth that is at least 1/1000), you have at least 900/1000 = 0.9.
...
Even though I don't see how this is more intuitive than taking the powers of 2, taking an obvious lower limit should be more obvious than the median for most people.
@@renem.5852 Of course, and that's what I explain at the end.
I was showing a thought process, first I think about adding terms in an exponentially increasing batch size and I use the median value to get an idea of the partial sum because that's what first came to mind and it seems "about" right.
This is enough to tell me that there is probably a proof not for away.
And you get an actual proof by using the minimal value rather that the median(that doesn't bend well to prove a boundary value) or the average (because you can't easily figure out the average value).
When you explore a problem, you don't necessarily get to a proof right away but misses can still be good enough to confirm some ideas and guide you toward a proof.
Why am I watching maths at midnight 😭😭
There is quite a neat proof by contradiction I read in a journal:
Assume the harmonic series converges to some real number S. Then
S = 1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + ...
> 1/2 + 1/2 + 1/4 + 1/4 + 1/6 + 1/6 + 1/8 + 1/8 + ...
(Here all we did was replace 1 with 1/2, 1/3 with 1/4, and so on). Then, summing the halves, the quarters, sixths, and so on:
= 1 + 1/2 + 1/3 + 1/4 + 1/5 + ...
= S
We have our contradiction S > S, since no such real S exists.
I’ve seen this series explained so many times but this is the clearest. Thanks!
This is an awesome way to explain it. I already understood it but you made it so clear. Thank you
Thank you!
y'all stole that from black folks
2:17 my jaw dropped here when i realised why you made this connection and i realised how the rest of the problem was going to be solved !!
Brute force infinity.
Upon seeing the thumbnail (but before watching the video), I ended up doing similar logic but in multiples of 10 instead of 2. So like, set all the fractions from 1/2 to 1/10 to equal 1/10 each.
Add them up and you get 9/10.
Do the same for fractions 1/11 to 1/100, setting them all to 1/100 and you get 90/100... or 9/10.
Glad to see I was on the right track even if going by multiples of 2 is way easier to explain!
You somehow made it sound simple *and* made me feel smarter just watching 😊
As someone who loved math in highschool and just got by in university, this is beautiful and made me feel what i felt in highschool
I just noticed on your shelf that you had boxes and boxes of markers, do you get a good price on those? As a teacher who has had to buy his own markers that looks like an absolute gold mine!
I got them on Amazon, ranging from $10 to $13 a box. Not a bad deal in my opinion. Btw, the “bullet tip” is the must! www.amazon.com/dp/B00006IFIN/ref=cm_sw_r_as_gl_api_gl_i_dl_TPD5KRK4A8PDMT9Y1PRR?linkCode=ml2&tag=blackpenredpe-20
@@bprpcalculusbasics Thanks for the advice, I'll give the bulllet tip a try, I've exclusively used the chisel tip and yeah you gotta hold it at the right angle to write nicely.
Right. And for the bullet tips you won’t need to worry about that!
A very good and clear to follow video but also can we give credit to how flawlessly and quickly the switch between black and red marker is! I’m very impressed!
When i saw the miniature i thought that video is about Divergence of the sum of the reciprocals of the primes . 1/2+1/3+1/5+1/7...+1/31 but it is complicated to prouf
I just conceptualize it like this. 1 over any positive integer > 0. Therfore, every new fraction added to the series will increase the sum. Therefore, adding infinite fractions must increase the sum infinitely.
Haven’t seen the second integral proof before - really like it! Great explanation
I normally would prove this via the integral test, but this one is so much simpler and honestly better!
I don't remember this demonstration, but it's great 🤩
@@forbidden-cyrillic-handle lolll it must be italian
This makes sense in a sort of backwards way to me, having come from the physics and music theory/sound design sides of it. This result is one of the necessary building blocks for the blackbody radiation problem -- and it is demonstrated by the audio characteristics of saw waves.
Awesome. For a series to give a finite sum, it must converge. HP doesn't converge, so the sum is infinity. Your proofs are really cool.
What is converging? I only started line functions in math right now, so I haven't had this yet.
@@tyuh860 converging means if you keep on adding the numbers in a series, it shall get closer and closer to a finite number.
Converging is like mathematical edging
Yep. If a series converges, then if you specify a tolerance, you can find a finite index where every number after that index is within the given tolerance of the true limit.
What a beautiful proof, thanks for sharing.
Man, this is why I watch these even though Im not a math lover. That last bit was the first time someone showed me the point of an integral.
We can also try to calculate it straightforward. Sum 1/n from 2 to inf = Sum 1/n from 1 to inf - 1.
1/n we can replace with integral of x^(n-1) from 0 to 1.
Now we have Sum 1/n from 1 to inf - 1 =sum from 1 to inf of integral x^(n-1) from 0 to 1. - 1. And then we switch the order of summation and integration, so we get integral from 0 to 1 of sum x^(n-1) from 1 to inf - 1 = (after reindexing) integral from 0 to 1 of sum x^n from 0 to inf - 1, which is a geometric series. So we get
Integral of 1/(1-x) from 0 to inf - 1 = -ln(1-x) evaluated at one and zero. Then we take a limit as x approaches 1 and get -inf and 0 when x is equal to 0. So finally we have -(-inf) - 0 - 1, which is just infinity.
I remember seeing a neat proof my calc 2 prof showed us, but I don't remember what it was. I think he calculated the rate of shrinkage of the terms, and compared it to the rate of expansion of the sum, and showed that it remained positive for any given number of terms, therefore it must go to infinity.
I hated math but watching you explain these things is actually nice to watch
Idea number one generalizes to Cauchy's Test for monotonic series. The series of a monotonic sequence a_n converges if and only of the series of 2^n a_(2^n) converges. The harmonic series is a model case for the test.
As a bonus, you could show that the integral of ln diverges, even if you did not know that it was the inverse function of exp, using you method 1, or Cauchy's Test on the the associated series.
THIS FINALLY MAKES SENSE TO ME! With the demonstration with integral calculus, I could not be convinced that 1/2 + 1/3 + 1/4 + ... could diverge, thank you very much!
Fun fact:
H(n) := 1 + 1/2 + 1/3 + .. + 1/n. Then,
lim n->∞ [H(n) - ln(n)] = γ ,
where γ = 0.577216…. is the Euler-Mascheroni constant.
This shows that the harmonic series H(n) grows asymptotically like a shifted up log function, which is indeed (albeit very slowly!) divergent as n->∞.
We can use this to estimate H(n) for large n, via:
H(n) ≈ ln(n) + γ + 1/(2n) + O(1/n²)
(this is the asymptotic expansion of H)
Also, an interesting fact, it isn't known whether γ is even rational or irrational
Wasn't it shown than γ and e^γ are algebraically independent
As a current 8th grader, I am SUPER HAPPY that you included the integral example! I couldn’t quite understand the first explanation but the second one made me understand in a split second! I LOVE that you include more than one way to solve equations! Thank you!
Not the 8th grader understanding integration... Aus education is doomed
My Turkish father taught me some simple precalculus 3 years ago, I can still remember lots.
I was thinking about it. For the sum of the series 1/n for n=1...N, you can create a fraction with a denominator that is N! and the terms are, I think, N!, N!/2!, N!/3! etc.
And then I realized that I was just working my way back to the original problem. Whoops!
That is very common in math. The number of attempted derivations I've had where I ended back up at x=x.
This is a very simple and clear proof for an imo unintuitive problem, very cool!
Simple answer I’d try to give if the person could comprehend is that even if you are adding an infinitely small number to another number… you are still adding a number
A fast way to do it is to note that 1/2+ +1/3 + ....+1/n > integral of1/x from 2 t0 n = ln n -ln (2) -> inf. for n -> inf.
Nice. Making something littler BIG.
I was about to close the video and then he’s like “ok let me show you with shapes” and I didn’t even bother moving my hand to close the video lmao
another reasoning for the geometric proof is that since 1/x has a horizontal asymptote at 0 it never reaches 0 but it approaches it as x becomes larger and larger. Therfore the "infite" term would be slightly greater than 0 (also known as nth term test) so the final series or sum will not converge because you are always adding to it forever.
What about sum( 1/2^x) x→inf
Hey,im 1 term stud, and this really helped with understanding of the fact that integral is S under the graphic and some other things,thanks.
Harmonic Series :)
1+2+3 converges at -1/12 but 1/2+1/3+1/4 diverges, something is clearly wrong here.
The sum of the integers doesn’t converge under normal circumstances. Under a different definition of convergence or of summation then sure, but there’s a good chance that the harmonic series converges in that system too.
@@ConManAU One definition/system used for these types of convergence is the analytic continuation of Riemann's zeta function (zeta(s)) to the complex plane. In this definition, we have indeed zeta(-1)=-1/12.
Funnily though, 1 is a pole of zeta(s), and zeta(1) happens to be the harmonic series. So also under this definition the harmonic series is not defined!
Saying it's equal to -1/12 is one thing, but saying it converges is the most illegal thing I've heard.
A guy on mathologer channel show -1/12 thing is wrong, basically
@@theeraphatsunthornwit6266 it's not wrong. What's wrong is saying that the sum converges to that value. It can ve regularized to that value tho.
That geometry proof is nice
I understood 1/2 + 1/3 + 1/4 + 1/5... of this.
So you understood more than a 100% of this?
@@stephenbachmann1171bro he means just the starting😂
tbe geometry example really helped me understand
Your explanation or addition of the 1/2s to get ~3 at around 5:15 in the video is mistaken. You misaligned the "1/2" for the next power of 2 with the 1/31 group which means you'd have to go to the 1/63 group to actually get ~3. As written on the board, you only had 2.5... unless I'm totally not getting this
did you skip the video? he showed the sum from 1/2 to 1/31 at 1:19 at WolframAlpha. It is more than 3. And his explanation is on point, because he said that the sum from 1/2 to 1/31 was bigger than the sum of the powers of two.
That's not even what he was doing at that point in the video. You're entirely lost. He started out by making a brief point that if you stop the summation at 1/31, it'll go above 3, to address the original question's point that they thought it wouldn't go above 3. After he showed that, he then started an entirely separate explanation to show how the infinite summation would diverge to infinity.
This is basically a proof via a direct comparison test. If b_n > a_n and b_n diverges, a_n must diverge. Never thought of it so much, i just accepted it via the p-series test, where p=1 (the exponent on 1/n) means it is divergent. Maybe you could do a proof where p
Your comparison test is the wrong way around. If b_n >= a_n and a_n diverges then b_n diverges.
I find the latter proof slightly dissatisfying because all the proof hangs on the fact that ln(infinity) = infinity. I wish there was time taken to derive that value, or show that it is obviously infinite.
ln(infinity) is basically asking: "What power must e be raised to in order to equal infinity?". Obviously, the answer to that is infinity. Similarly, ln(2) is asking: "What power must e be raised to in order to equal 2?". And as he said in the video, that value is about 0.693.
@@vijay_veluguri yes precisely, I would have loved for that to be in the video!
@@vijay_veluguri... Actually it was ln(infinity) power for e. e^(ln(infinity)) is infinity as is e^(lnx) = x substitution math that is used to especially solve Lambert W problems.
@@partyfistsI mean in general the audience who watch this channel knows the reasoning behind this.
The first is the classic proof of divergence that I learned in Calc II, and I really like your second approach.
But here's the part I never have heard: why doesn't it also apply to 1/n^2?
Admittedly I haven't thought about it, but given the infiniteness of it, shouldn't you be able to come up with X terms that add up to 1/2? Or make it 1/4? Or some other finite value? The argument is that you have an infinite number of finite values, so it doesn't matter what that value is.
Neat
I just smiled after I got it, when he added the 1/4s to 1/2s. Great explanation! Makes me remember the fun in math
That was such a great explanation! Thank you so much
Sweet video dude, thanks for sharing. That was cool and informative
While integrating from 2 to infinity you are also including decimal points in it like 2.8,2.3,99.1,87.2 but these are not included in 1/n only integer values are allowed.
this is a genius and very well-explained proof
good job once more
Thank you!
Why was I never taught this way of proving the harmonic series diverges!
As well as an intuitive understanding for the integral test!
You learn something new every day
I was having a normal day, now panicking about “how can anything ever converge???”
If you and me are 2 meters away. And I take steps equal to half the distance between you and me, then I would never get to you.
The most simple explanation I've thought of is to simplify it into a series of repeatedly adding 1/2 to itself, let's start with the fraction 1/2, this alone has increased the sum by 1/2, but now let's look at the fraction 1/4, to get from 1/2 to 1/4 we also need 1/3, 1/3 is greater than 1/4 so we'll simplify it to also being 1/4 meaning that there are actually two 1/4s, meaning we have to add it twice which accumulates to 1/2 again, this leaves the sum at exactly 1 in this simplified scenario, so let's jump over to 1/8 now, this time there are three other fractions that we have to pass to get to 1/8, they are 1/5, 1/6, and 1/7 we'll simplify these all to 1/8 which works since they are all greater than 1/8 meaning we're not increasing what the sum should be but rather decreasing it, however this means that there are four eights which adds up to 1/2 again, this means that by 1/8 the actual series will be greater than 1.5, this just keeps going on, every time the number of fractions added doubles the sum will increase by at least 1/2, this is also only if we limit it to binary, in base 10 you get a more accurate sum approximation that is higher than the base 2 version. But either way, this shows that it does not tend towards any finite amount.
Finally a math proof I can understand.
I think a valuable and quick thought experiment is thinking about the sum between '1/1000... --> 1/3000' for example. It' adds up to ~1.00 which is not an arbitrary amount. Same for 1/10.000... --> 1/30.000
You, Sir, have my upvote
In having a hard time understanding how the inequality holds after we are done with the derivation. I understand the logical steps but at the end we end up with inf > inf.
Is this correct? I know this doesnt have to do anything with the actual size of infinities as they have the same cardinality. Plugging inf>inf into wolfram alpha returns false but idk if its correct.
How does the inequality still hold? Thanks for the video!
We end up with something greater than inf, then that something can only be inf.
man I wish you were my TA when I was taking the calc courses
Integral of 1/n = ln(n) + c. Ln(n) goes to infinity as n goes to infinity. Therefore 1/n is not bounded. This can be generalized by saying any function n^-p for p equal to or less than one is unbounded. But is bounded for p greater than one.
Another way to think of would be 50% + 33~% + 25% + 20% + 17~% + 14~%...
I just think it's easier to visualize the infinity like this, since you see the sum increasing numerically
this dude's got me watching a math video for entertainment
Damn just took calc 2 and got an A+ without even knowing why the harmonic series diverges , the second proof really cleared my confusion
So essentially: reframe it as an inequality, where the harmonic series is bigger than another series where each element n is rounded down to the next power of 2. This means that for every value 2^n, there exist 2^(n-1) elements that correspond to that value and which therefore add up to 1/2. Thus the series is *at least* as big as 1/2 added to itself an infinite number of times, which is a divergent value. Therefore the series is divergent. QED
I never thought I would be watching this for entertainment at 4am🙂
Great breakdowns!! Thank you.
This is a brilliantly simple proof.