Working in Harmony
In this project, we are going to expand on our earlier work with the harmonic series. In the process, we will meet a famous constant called Euler's constant, also known as the Euler-Mascheroni constant. (This number is not to be confused with , the natural base, which is also known as Euler's number.)
-
As in Example 6 of Section 10.2, we let stand for the nth partial sum of the harmonic series; that is,
.
(The partial sum is also called the nth harmonic number.) For each , we define
.
Prove that for any positive integer n. (Hint: Refer to the illustration provided for Exercise 65 of Section 10.2, and start by comparing with .)
-
Prove that is a decreasing sequence. (Hint: Referring again to the figure from Exercise 65 of Section 10.2, fix an n and identify a region whose area is .)
-
Use an appropriate theorem from the text to show that the sequence is convergent. Letting , this limit is called Euler's constant. It is important in many applications throughout various areas of mathematics, and like other famous constants (including π and e) can be approximated with great precision using modern computing power. Surprisingly, however, it is not yet known whether γ is rational or irrational!
-
Use the convergence of to prove that the sequence converges and find its limit.
-
Use a computer algebra system to approximate γ, accurate to the first decimal places.
-
Use the approximate value of γ found in Question 5 to estimate , rounded to decimal places, for a. and b. . Compare the latter estimate with the answer for Exercise 125b of the Chapter 10 Review.