- #1
Positronized
- 16
- 0
Homework Statement
Given that [tex]b_{n}\rightarrow\infty[/tex] and [tex]\frac{a_{n}}{b_{n}}\rightarrow C[/tex] (where C>0) as [tex]n\rightarrow\infty[/tex], prove that [tex]a_{n}[/tex] must also diverge to [tex]\infty[/tex], that is, [tex]a_{n}\rightarrow\infty[/tex] as [tex]n\rightarrow\infty[/tex]
Homework Equations
As above.
The Attempt at a Solution
I could easily deduce that [tex]\left\{a_{n}\right\}[/tex] cannot be bounded, otherwise the sequence of quotients will be null. Also, I deduced that [tex]\left\{a_{n}\right\}[/tex] cannot diverge to [tex]-\infty[/tex] as the limit of convergence cannot be positive in this case. However, I could not deduce that [tex]\left\{a_{n}\right\}[/tex] must be unbounded BOTH above and below, and so I cannot rule out the possibility of oscillation, yet.
Originally I said if [tex]\left\{a_{n}\right\}[/tex] oscillates AND also unbounded, then it is always possible to find a negative term no matter what the value of n is. Since [tex]\left\{b_{n}\right\}[/tex] is always positive for large n, then it is always possible to find the term of [tex]\left\{\frac{a_{n}}{b_{n}}\right\}[/tex] that is negative, therefore cannot converge to a positive limit. However it has become obvious that "unbounded" doesn't mean unbounded in both ways, i.e. sequences like {1,2,1,4,1,8,1,16,...} are unbounded and oscillating but will not give a negative term, so my argument isn't valid.
But apparently the easier approach is to use the epsilon definition, chosen the "right" epsilon and get the result directly without having to resort to proof by cases. I can't figure out what the "right" value is.
Last edited: