The five most important numbers in mathematics are , , , , and . In sixth place (a distant sixth place) is probably , the Euler-Mascheroni constant. See Mathworld or Wikipedia for more details. (For example, it’s astounding that we still don’t know if is irrational or not.)

In yesterday’s post, we’ve seen the curious phenomenon that the commutative and associative laws do not apply to a conditionally convergent series or infinite product. In tomorrow’s post, I’ll present another classic example of this phenomenon due to Cauchy. However, to be ready for this fact, I’ll need to see how arises from a certain conditionally convergent series.

Separately define the even and odd terms of the sequence by

and

.

It’s pretty straightforward to show that this sequence is decreasing. The function is clearly decreasing for , and so the maximum value of on the interval must occur at the left endpoint, while the minimum value must occur at the right endpoint. Since the length of this interval is , we have

,

or

.

Since the subsequence clearly decreases to , this shows the full sequence is a decreasing sequence with limit .

Since this series converges, that means that the limit of the partial sums converges to :

.

Let’s take the upper limit to be an odd number , where and is an integer. Then by separating the even and odd terms, we obtain

.

Therefore,

.

With this interpretation, the sum can be viewed as the sum of the rectangles in the above picture, while the integral is the area under the hyperbola. Therefore, the limit can be viewed as the limit of the blue part of the above picture.

In other words, it’s an amazing fact that while both

and

diverge, somehow the difference

converges… and this limit is defined to be the number .

I'm a Professor of Mathematics and a University Distinguished Teaching Professor at the University of North Texas. For eight years, I was co-director of Teach North Texas, UNT's program for preparing secondary teachers of mathematics and science.
View all posts by John Quintanilla

Published

24 thoughts on “Thoughts on Infinity (Part 3b)”

The difference function 1/x – 1/(x+1) encloses the blue bits, and its integral is INT(1/(x(x+1)_, which is less than INT(1/(x^2), which inturn is finite when taken from 0 to infinity. Hence convergence of the sum of blue bits.
Tell us more about gamma.
Are you going to write about the weirdness of the finite volume,infinite surface area of the rotation of 1/x around the x axis ? This is one of the more bizarre results of mathematics.

Thanks for the suggestions. I hadn’t planned to say anything about the surface area/volume of that solid of revolution, since all I think I can say is, “This is a very weird result.” But let me think about it.

The difference function 1/x – 1/(x+1) encloses the blue bits, and its integral is INT(1/(x(x+1)_, which is less than INT(1/(x^2), which inturn is finite when taken from 0 to infinity. Hence convergence of the sum of blue bits.

Tell us more about gamma.

Are you going to write about the weirdness of the finite volume,infinite surface area of the rotation of 1/x around the x axis ? This is one of the more bizarre results of mathematics.

Thanks for the suggestions. I hadn’t planned to say anything about the surface area/volume of that solid of revolution, since all I think I can say is, “This is a very weird result.” But let me think about it.

Two right parentheses missing !!!

and one more