The concept of infinity often causes problems and paradoxes when it appears in math and science applications.

Calculus helps tame infinity; essentially, this is the purpose of calculus.

In this quiz, we'll encounter infinity $(\infty)$ for the first time by exploring some features of **infinite sums**, which we mentioned in the last quiz.

We need some new language to express what we mean by an infinite sum. To start us off, let's learn how to write out sums with many terms.

For example, writing out every term in the sum of $1 , \frac{1}{2}, \frac{1}{3} , \dots ,$ all the way up to $\frac{1}{100}$ would take a lot of space and effort! Instead, we write

$1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{100} = \sum\limits_{j=1}^{100} \frac{1}{j} .$

The letter **S**igma $\sum$ is commonly used to represent **s**ums in math and science. It's helpful whenever we sum a long list of numbers, like above.

Generally, if $a_{j}$ is the $j^{\text{th}}$ number in our list, then

$\sum_{j=1}^{n} a_{j} = a_{1} + a_{2} + \dots + a_{n};$

the "$j=1$" at the bottom of $\sum$ tells us the smallest value of the integer $j,$ and the "$n$" on top is $j$'s largest value; all the $a_{j}$'s are summed up.

To get some practice with the notation, evaluate $\sum\limits_{j=1}^{4} j^2.$

To study an infinite sum, we first look at a finite sum with a variable as a stopping index, as in the sum of the first $n$ consecutive positive integers $\sum\limits_{j=1}^{n} j.$ The sum depends on $n$: for example, if $n = 4,$ we find $1+2 + 3 + 4 =10,$ but if $n = 5,$ we get $1 +2 + 3 + 4 + 5 = 15.$

Sometimes we get lucky and there's a formula that lets us sidestep adding all the terms in a sum once we give $n$ a value. For example, $\sum\limits_{j=1}^{n} j = \frac{n(n+1)}{2}.$ Use this to find the sum of the first $200$ consecutive positive integers $1 + 2 + 3 + 4 + \dots + 198+199 + 200.$

While we can't add up an infinite list $a_{1}, a_{2} , \dots ,$ we *can* do the sums $\sum_{j=1}^{n} a_{j}$ for any *finite* $n$ if we have enough resources (and patience!).

We define $\sum_{j=1}^{\infty} a_{j} = L$ to mean that the partial sums $\sum_{j=1}^{n} a_{j}$ tend to get closer and closer to $L$ as $n$ gets larger and larger.

Here, $L$ stands for some real number. Let's look at two examples: $\sum\limits_{j=1}^{\infty} \frac{9}{10^{j}} \hspace{0.5cm} \text{and} \hspace{0.5cm} \sum\limits_{j=1}^{\infty} 9 \times 10^{j}.$ One of these has meaning as a real number, the other does not.

Which one of these infinite sums actually exists as a real number?

**Hint:** Note that $0.\bar{9}$ (a decimal point followed by an infinite number of 9's) is the same thing as $1.$ Check out this wiki on why this is so.

We say that the infinite sum **converges** when we can find $L$ so that
$\sum\limits_{j=1}^{\infty} a_{j} = L$
in the sense given in the last problem. When this is impossible, we say the infinite sum **diverges**.

Determining whether a sum converges or diverges is a subtle business, and a large chunk of calculus is devoted to finding convergence tests.

This course won't cover these tests, but we will glimpse a few interesting applications of infinite sums. While many of these involve converging sums, diverging sums play important roles, too, as we're about to see.

To see some of the quirks of diverging sums and their uses in the real world, let's consider the **Tower of Lire** puzzle.

We begin with a stack of two blocks. The goal here is to keep the tower from toppling while making the topmost reach beyond the vertical line.

If the center of mass of the top block goes beyond the edge of the bottom one, the tower falls; if the center of mass of the two blocks together extends over the edge of the pallet, the tower falls.

The top circle in the interactive below tracks the center of mass of the top block, while the bottom circle tracks the center of mass of the pair. The former will change from blue to red if it goes beyond the edge of the lower block; the latter changes if it goes beyond the edge of the palette.

Is it possible to position the blocks so that the topmost extends beyond the vertical line while keeping the tower from falling?

Let's add a third block to the tower from the last problem.

Is it possible to arrange the blocks so that the topmost overreaches the vertical line without falling?

To summarize the last few problems, if we make the Tower of Lire tall enough, we can arrange the blocks to overhang *any* horizontal distance.

We'll prove that the maximum overhang of $n$ blocks is $\sum_{j=1}^{n}\frac{1}{j},$ which is approximately $\ln(n)$ when $n$ is large enough.

Using either the intuition of the Tower of Lire puzzle or this formula for the maximum overhang, make a statement about the **harmonic sum**
$\sum\limits_{j=1}^{\infty} \frac{1}{j}.$

Since adding an infinite list of numbers is generally impossible, $\sum\limits_{j=1}^{\infty} a_{j} = L$ means that the partial sums $\sum_{j=1}^{n} a_{j}$ get closer and closer to $L$ as $n$ gets larger and larger, or closer and closer to $\infty$ if you like.

In general, if some quantity $f$ depends on some variable $x$ (like the partial sums depend on $n$), we write
$\lim\limits_{ x \to a} f(x) = L$
to mean $f$ gets closer and closer to $L$ as $x$ gets closer and closer to $a.$ Here, "$\lim$" is short for **limit**, which is our primary tool for taming $\infty.$

For example, we can rewrite the infinite sum expression above as $\lim\limits_{n \to \infty} \sum\limits_{j=1}^{n} a_{j} = L.$

Defining derivatives, integrals, and infinite sums is impossible without confronting $\infty,$ so

limitssit at the heart of all calculus.

In the next chapter, we'll learn all of the essential ideas behind this crucial concept.