Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$$ f(x) = \frac{\sum_{i=1}^{\infty}x^i}{1+\sum_{i=1}^{\infty}x^i} = \frac{\sum_{i=1}^{\infty}x^i}{\sum_{i=0}^{\infty}x^i} = x $$

I haven't taken many math classes (so bear with me if I'm wrong), but I think this is correct, since $$ \frac{\sum \limits_{i=1}^{\infty} \ k^i}{k}=\sum_{i=0}^{\infty}k^i $$

Also, even though both series diverge when $x$ is big enough, I don't think the ratio diverges.

My question has to do with this: $$ g(x)=\lim_{n\to\infty}{\frac{\sum \limits_{i=1}^{n}\ x^i}{1+\sum\limits_{i=1}^{n} \ x^i}} $$

If $x>1$, then no matter how high $n$ is, $g$ is never above $1$ since the denominator is larger than the numerator. So, $g(x)$ is not always equal to $x$.

Does a sum from one to infinity mean something different than a sum from $1$ to $n$ as $n$ approaches infinity?

If not, then where was my mistake ($g$ is not equal to $f$)?

share|cite|improve this question
Formally, the infinite sum (called a series) is just the limit of the finite sums as $n\to\infty$. See for example the first paragraph of this answer. – Arturo Magidin Nov 5 '11 at 5:00
up vote 2 down vote accepted

The function $g(x)$ gives no problem, except at $x=-1$. In that sense, it is very different from $f(x)$, which is only defined for $|x|<1$, as explained by Arturo Magidin and Michael Hardy. The calculation you made at the beginning of the post is a bit informal, but is essentially correct for $|x|<1$. (Please see the comment at the end.) And your observation that $g(x)$ cannot always be equal to $x$ is well-founded. You correctly saw that $g(x)$ exists for any positive $x$. Though you did not give a proof, with some work your observation about the fraction being less than $1$ can be turned into a proof. We now solve the problem in detail.

Note that $$x+x^2+\cdots +x^n=x(1+x+\cdots +x^{n-1})=\frac{x(1-x^n)}{1-x}$$ (if $x\ne 1)$.

So we can find an explicit formula for $g_n(x)$, where $$g_n(x)=\frac{\sum_{i=1}^{n}x^i}{1+\sum_{i=1}^{n}x^i}.$$ The result (except when $x=\pm 1$) is $$g_n(x)=\frac{x(1-x^n)}{1-x^{n+1}}.$$ If $|x|<1$, then $\displaystyle\lim_{n\to\infty} x^n=0$, and therefore $\displaystyle\lim_{x\to\infty} g_n(x)=x$. If $|x|>1$, the limit is $1$.

The case $x=-1$ is hopeless, since the denominator is $0$ for all odd $n$. In the case $x=1$, a separate calculation shows that the limit is $1$.

Comment: The case $|x|>1$ is obvious without calculation. If $|x|>1$, and $n$ is large, then the numerator and denominator of $g_n(x)$ each has very large absolute value. But they differ by $1$, so their ratio is nearly $1$. The case $|x|<1$ is also obvious without much calculation. The numerator of $g_n(x)$ is $x(1+x+\cdots +x^{n-1})$, and the denominator is $1+x+\cdots +x^n$. As long as we know that $\displaystyle\lim_{m\to\infty}(1+x+\cdots +x^m)$ exists, and is non-zero, and that $g_n(x)$ is always defined, we can conclude that $g_n(x)$ has limit $x$. We do not need to know a formula for $\displaystyle\lim_{m\to\infty}(1+x+\cdots +x^m)$.

share|cite|improve this answer

Is $$ \lim_{n\to\infty}\frac{\sum_{i=1}^n a_i}{\sum_{i=1}^n b_i} $$ the same thing as $$ \frac{\lim\limits_{n\to\infty}\sum_{i=1}^n a_i}{\lim\limits_{n\to\infty}\sum_{i=1}^n b_i}\qquad ? $$

The answer is that they are equal if both of the limits in the latter expression exist and its denominator is not $0$.

Suppose $a_i = b_i = 1$ for all values of $i$. In that case, the latter expression does not exist, but the former is $1$.

share|cite|improve this answer
If $\sum^{\infty}b_i=0$, and $a_i=2b_i$, then both limits in your second expression exist, but the second expression is undefined, whereas the first expression could be 2. – Gerry Myerson Nov 5 '11 at 8:34
Yes, I should have added "...and the denominator is not zero". – Michael Hardy Nov 5 '11 at 16:32
OK, I've done that. – Michael Hardy Nov 5 '11 at 16:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.