## Need help understanding something in my proof

1. The problem statement, all variables and given/known data
Suppose $$S_n > 0$$ and $$r S_n > S_{n+1}$$, where r is a constant such that 0<r<1. Show that $$\lim_{n\rightarrow +\infty} {S_n} = 0$$.

3. The attempt at a solution

First, I'd like to know if my proof is correct.

Proof: Suppose $$S_n > 0$$ and $$r S_n > S_{n+1}$$, where r is a constant such that 0<r<1. First note $$S_n$$ is decreasing since $$S_n > S_{n+1}$$ if $$r S_n > S_{n+1}$$. Moreover, for every n $$S_n > 0$$, so $$r S_n > S_{n+1} > 0$$. Therefore the $$\lim_{n\rightarrow +\infty} {S_n} = 0$$.

Suppose my proof is correct. Then my question is what role does r play in this problem? It seems to me, so long as $$S_n$$ is decreasing, and $$S_n > S_{n+1}$$, and for every n $$S_n > 0$$, then the $$\lim_{n\rightarrow +\infty} {S_n} = 0$$. Right?
 PhysOrg.com science news on PhysOrg.com >> New language discovery reveals linguistic insights>> US official: Solar plane to help ground energy use (Update)>> Four microphones, computer algorithm enough to produce 3-D model of simple, convex room
 Your proof is not correct, S_n could be decreasing but the limit could non-zero. The fact that it is bounded below by zero doesn't imply it approaches zero. Example: consider the sequence 1/2 + 1/n. Cleary, it is decreasing and bounded below by zero but the limit is 1/2. I think you have to show that r^n goes to zero and since S_n is bounded then the sequence S_n goes to zero since we can make S_n as small as we like.
 The problem says for all n rSn>Sn+1. This isnt a proof but it leads to it. Say r is .5 for example. Then .5 > Sn+1/Sn. It seems easy to derive a contradiction when lim of Sn is non zero. If you keep taking halves of Sn, you will go lower than your non zero limit. But if Sn is approaching zero, then you can easily keep taking halves and never even touch zero. Now just generalize.

## Need help understanding something in my proof

I am still a little confused about how to conclude that the $$\lim_{n\rightarrow +\infty} {S_n} = 0$$. Here is what I've come up with:

Suppose for every n, $$S_n > 0$$ and for some fixed r, 0<r<1, $$r S_n < S_{n+1}$$. Let r=1/(1+a), a > 0. Then $$S_n$$ is a decreasing sequence, and is bounded below. Then for every n

$$0 < \frac{S_{n+1}}{S_n} < \frac{1}{1+a}$$.

We can arbitrarily make 1/(1+a) as close to zero as we want by choosing an extremely large a, and the inequality will still hold. In other words, I can squeeze $$S_{n+1} / S_n$$ between 0 and 1/(1+a) << 1.

At this point, may I conclude $$\lim_{n\rightarrow +\infty} {S_n} = 0$$ since the ratio of $$S_{n+1}$$ and $$S_n$$ can be squeezed between 0 and a very small number, the sequence $$S_n$$ is decreasing and is bounded below by zero?
 The point is, Sn will go to zero if r is .99999999 or .00000001 and you cannot choose r, it is some given value between 0 and 1. Think about what (r=.5) .5>Sn+1/Sn means. It means at the least, Sn+1 is 2 times smaller than Sn+1 FOR ALL n.
 Try finding a bound for S_n in terms of n .(Hint: Try induction.)

 Quote by Samuelb88 I am still a little confused about how to conclude that the $$\lim_{n\rightarrow +\infty} {S_n} = 0$$. Here is what I've come up with: Suppose for every n, $$S_n > 0$$ and for some fixed r, 0 0. Then $$S_n$$ is a decreasing sequence, and is bounded below. Then for every n $$0 < \frac{S_{n+1}}{S_n} < \frac{1}{1+a}$$. We can arbitrarily make 1/(1+a) as close to zero as we want by choosing an extremely large a, and the inequality will still hold. In other words, I can squeeze $$S_{n+1} / S_n$$ between 0 and 1/(1+a) << 1. At this point, may I conclude $$\lim_{n\rightarrow +\infty} {S_n} = 0$$ since the ratio of $$S_{n+1}$$ and $$S_n$$ can be squeezed between 0 and a very small number, the sequence $$S_n$$ is decreasing and is bounded below by zero?
The way I envisioned the proof was like this

$$rS_0 > S_1$$
$$r^{2}S_0 > S_2$$
.
.
.
$$r^{n}S_{0} > S_{n}$$

Using the definition of a limit we want to show that $S_n \rightarrow 0$

$$0< | S_{n} -0 | < |S_{0}|r^{n}$$ . We know $S_0$ is bounded since the original sequence is convergent.

If you have already proving that $\lim_ {n \to \infty } r^{n} = 0 \quad 0<r<1$ then the proof is complete.

 Quote by ╔(σ_σ)╝ The way I envisioned the proof was like this $$rS_0 > S_1$$ $$r^{2}S_0 > S_2$$ . . . $$r^{n}S_{0} > S_{n}$$ Using the definition of a limit we want to show that $S_n \rightarrow 0$ $$0< | S_{n} -0 | < |S_{0}|r^{n}$$ . We know $S_0$ is bounded since the original sequence is convergent. If you have already proving that $\lim_ {n \to \infty } r^{n} = 0 \quad 0 Okay, for the most part, I understand what you are saying here. (Didn't understand how you derived the relation between $$r^n S_1$$ and $$S_n$$ originally... :) How about this: We want to show using the definition of a limit that $$S_n \rightarrow 0$$ if for ever E >0, there is an N s.t. whenever n>N, $$|S_n| < E$$. Let E >0. Suppose $$S_n > 0$$ (bounded) and $$r S_n > S_{n+1}$$ (decreasing). So $$rS_1 > S_2$$ $$r^{2}S_1 > S_3$$ . . . $$r^{n}S_{1} > r^{n-1} S_{1} > S_{n}$$ which is true for all n. Let $$E= r^{n} S_1$$. As required. Since $$S_n < r^n S_1$$ for all n, and $$r^n \rightarrow 0$$ as $$n \rightarrow +\infty$$, then the $$\lim_{n\rightarrow _\infty} {S_n} = 0$$. ?  Quote by Samuelb88 Let $$E= r^{n} S_1$$. As required. Since $$S_n < r^n S_1$$ for all n, and $$r^n \rightarrow 0$$ as $$n \rightarrow +\infty$$, then the $$\lim_{n\rightarrow _\infty} {S_n} = 0$$. ? No, you can't just set $$\epsilon = r^{n} S_0$$ The definition of a limit requires that for $$n > n_{0}$$ the limit holds and $$n_0$$ should depend of epsilon. Also $$0 < S_n < r^n S_1$$ the 0 < part is important since you want $$S_n$$ to be sandwiched by zero from the left and right. You want to pick an $$n_0$$ such that for $$n > n_{0}$$ you can make tex] r^n S_1[/tex] as small as possible.  $$\lim_{n\rightarrow _\infty} {S_n} = 0$$. I am not sure if you have to prove this fact or you can just use it . If you are simply allowed to use it then you can just state that since r^n goes to zero then epsilon and n_0 exist. Or you could jsimply use the squeeze theorem/ sandwich lemma.  Quote by ╔(σ_σ)╝ Also $$0 < S_n < r^n S_1$$ the 0 < part is important since you want $$S_n$$ to be sandwiched by zero from the left and right. You want to pick an $$n_0$$ such that for $$n > n_{0}$$ you can make tex] r^n S_1[/tex] as small as possible. Okay, so we agree that for every n, $$0 < S_n < r^{n} S_{1}$$. And from my book, there is an example which proves that for every a such that 0<a<1, the $$\lim_{n\rightarrow +\infty} {a^n} = 0$$. So I may use that fact in my proof. I was thinking that since we know when 0<r<1 that $$r^n \rightarrow 0$$ as $$n \rightarrow +\infty$$, then we know for every ε > 0, there must exist an N such that whenever n > N, $$| r^n | < \epsilon$$. So couldn't we just arbitrarily choose an n > N (since we know such N exists) such that $$S_1 |r^n| < \epsilon$$. Since 0<r<1, and for every n, $$S_1 > 0$$, then $$S_1 |r^n| = S_1 r^n$$, and therefore we have found such n such that $$0 < S_n < r^n S_1 < \epsilon$$.  I am not sure if you have to prove this fact or you can just use it . If you are simply allowed to use it then you can just state that since r^n goes to zero then epsilon and n_0 exist. Or you could jsimply use the squeeze theorem/ sandwich lemma. I am pretty sure I can not use the fact that $$\lim_{n\rightarrow +\infty} {S_n} = 0$$, that is, that's what we're trying to prove. At any rate, I was thinking about using the squeeze theorem, but I thought the squeeze theorem required less than or equal to signs, and we only have less than signs in our inequality. Other wise I would be squeezing the limit of $$S_n$$ between some greater than zero, and less than zero, which to me seems invalid. Can you clarify this for me, please?  Recognitions: Gold Member Science Advisor Staff Emeritus You can use the fact that [itex]0< S_n< r^nS_1$, to argue that $|S_n- 0|= |S_n|< |S_1|r^n< \epsilon$ implies that $r^n< \epsilon/|S_1|$. How large does n have to be in order that that be true?

 Quote by HallsofIvy You can use the fact that $0< S_n< r^nS_1$, to argue that $|S_n- 0|= |S_n|< |S_1|r^n< \epsilon$ implies that $r^n< \epsilon/|S_1|$. How large does n have to be in order that that be true?
Great. I would have to choose n to be an integer greater than $$ln ( \frac{( \epsilon }{|S_1| }) / ln(r)$$. This choice for n makes sense because 0<r<1, ε > 0, and $$|S_1| > 0$$.

Edit: Oops, forgot to take ln on other side. :D

 Quote by Samuelb88 Great. I would have to choose n to be an integer greater than $$ln ( \frac{( \epsilon }{|S_1| }) / ln(r)$$. This choice for n makes sense because 0 0, and $$|S_1| > 0$$. Edit: Oops, forgot to take ln on other side. :D
Good. You are basically done. Just everything together.
 Btw your inequality is wrong. $$S_n < r^{n}S_0$$ is correct if you start from n=0. But since you are starting for n=1 your inequality should be... $$S_n < r^{n-1}S_1$$. You made a mistake when you said.... $$r^{n-1}S_1 < r^{n}S_1$$. It is not true since 0< r<1. This is just a minor correction since $$r^{n-1} \rightarrow 0$$.
 Suppose $$0 < S_n$$ and $$S_{n+1} < r S_n$$ where r is a constant such taht 0 0, there is an N such that whenever n>N, $$|a^n| < \epsilon$$. Note that the sequence is bounded below, since for every n, $$0 < S_n$$. Then for every n, $$0 < S_n < S_0 r^n$$ which implies for some n>N, $$0 < |S_n| < |S_0| r^n < \epsilon$$, which implies $$r^n < \epsilon/|S_0|$$. Observe that $$0 < r, \epsilon, |S_0|$$, so take $$N = ln( \epsilon/|S_0|) / lnr$$, and choose n>N. Then $$|S_n - 0| < \epsilon$$ and therefore $$lim_{n\rightarrow +\infty} {S_n} = 0$$. Done! How does this look?

 Quote by Samuelb88 Then for every n, $$0 < S_n < S_0 r^n$$ which implies for some n>N, $$0 < |S_n| < |S_0| r^n < \epsilon$$, which implies $$r^n < \epsilon/|S_0|$$. Observe that $$0 < r, \epsilon, |S_0|$$, so take $$N = ln( \epsilon/|S_0|) / lnr$$, and choose n>N. Then $$|S_n - 0| < \epsilon$$ and therefore $$lim_{n\rightarrow +\infty} {S_n} = 0$$. Done! How does this look?
This part is not too good.

 $$0 < |S_n| < |S_0| r^n < \epsilon$$, which implies $$r^n < \epsilon/|S_0|$$.
This part is not true.

What is true is that ....
$$\lim_{n \to \infty} r^{n} = 0$$ implies that there exist $$N_0$$ such that for $$n > N_{0}$$,$r^{n} < \frac{\epsilon}{|S_0|}$.

The rest of the proof is okay.
 Okay, now I see how I am suppose to prove the limit is zero. Thanks much, all of you! :)

 Similar discussions for: Need help understanding something in my proof Thread Forum Replies Precalculus Mathematics Homework 5 Linear & Abstract Algebra 4 Calculus 2 Calculus & Beyond Homework 1 Calculus & Beyond Homework 0