Analysis Question: Proving Algebraic operations for infinite limits

[The_Iceflash]

Homework Statement

Given \lim_{n\rightarrow \infty}a_{n}}= 0
b_{n} is bounded below.

Prove: \lim_{n\rightarrow \infty}(a_{n}+b_{n})}= \infty

Homework Equations

N/A

The Attempt at a Solution

According to my text: {b_{n}} is bounded below if and only if there is a real number \ni B \leq b_{n}\forall_{n}

So, here's my attempt:

Putting the givens together I get:

B \leq b_{n} \leq 0

At this point forward I'm not sure where to go with this. Any kind of help is appreciated.

 

[Gib Z]

You can't prove it as it is written, as its not true. For example, the sequences a_n = 0 and b_n = 1 satisfy the given conditions, yet the limit of their sum is 1, not divergent to infinity.

Are you sure that's exactly how the question is given? Perhaps they were sloppy and by their statement "Bounded from below" they also implied "Unbounded from above".

In the likelyhood the question is the case, Use that fact. What does it mean for a sequence to be unbounded from above?

 

[The_Iceflash]

You can't prove it as it is written, as its not true. For example, the sequences a_n = 0 and b_n = 1 satisfy the given conditions, yet the limit of their sum is 1, not divergent to infinity.

Are you sure that's exactly how the question is given? Perhaps they were sloppy and by their statement "Bounded from below" they also implied "Unbounded from above".

In the likelyhood the question is the case, Use that fact. What does it mean for a sequence to be unbounded from above?

That's exactly how the given was quoted in my textbook. That's why I was confused as well.

If a sequence is unbounded from above then it goes to infinity.

 

[Gib Z]

Well yes but in algebraic term. You wrote "According to my text: {b_{n}} is bounded below if and only if there is a real number \ni B \leq b_{n}\forall_{n}".

Write the corresponding statement for if a sequence is unbounded from above. There will be information in there that you can use.

Next thing to do would be a proof by contradicition, assume the \lim_{n\to \infty} a_n +b_n does exist and is equal to some number L. By the epsilon delta definition of a limit would does it mean for the limit to be equal to L? Can you contradict that using any information you have