## lim |f(x)| = +infty and f decreasing implies lim f(x) = +infty

1. The problem statement, all variables and given/known data
If $$f$$ is defined on $$(a,b)$$, $$\lim_{x \to a^{+}} |f(x)| = +\infty$$ and $$f$$ is decreasing on $$(a,b)$$, show that $$\lim_{x \to a^{+}} f(x) = +\infty$$.

2. Relevant equations

3. The attempt at a solution
If $$\lim_{x \to a^{+}} |f(x)| = +\infty$$, then $$\forall M > 0, \exists \delta > 0$$ such that $$\forall x \in (a,b)$$ and $$a < x < a + \delta$$, we have $$|f(x)| > M$$, which implies we either have $$f(x) > M$$ or $$f(x) < -M$$. It suffices to show that $$f(x) < -M$$ does not hold.

For contradiction, suppose that $$f(x) < -M$$ for $$x \in (a,b) \cap (a, a + \delta)$$. Consider a sequence of real numbers $$(x_n)$$ such that $$x_n \in (a,b) \cap (a, a + \delta)$$ and $$x_{n+1} > x_n$$ and $$\lim_{n \to \infty}x_n = a$$ for $$\forall n \in \mathbb{N}$$. Since $$f$$ is decreasing, $$x_{n+1} > x_n$$ implies $$f(x_n) \geq f(x_{n+1})$$. Thus, we have that $$-M > f(x_n) \geq f(x_{n+1})$$....

But this is the part where I got stuck..... any help appreciated! Thanks in advance!
 PhysOrg.com science news on PhysOrg.com >> Intel's Haswell to extend battery life, set for Taipei launch>> Galaxies fed by funnels of fuel>> The better to see you with: Scientists build record-setting metamaterial flat lens
 Blog Entries: 1 Recognitions: Homework Help It's always entirely possible that for some x really close to a, f(x) is really large in magnitude and negative. The key is that once you have that, f(x) can never get smaller than that. So for example, if you pick M cleverly, like $$M=|f(\frac{a+b}{2})$$| then you know that for x<(a+b)/2 f(x) cannot be less than -M

 Quote by Office_Shredder It's always entirely possible that for some x really close to a, f(x) is really large in magnitude and negative. The key is that once you have that, f(x) can never get smaller than that. So for example, if you pick M cleverly, like $$M=|f(\frac{a+b}{2})$$| then you know that for x<(a+b)/2 f(x) cannot be less than -M
Thanks for the reply! I just want to follow up on this.

Suppose we have picked $$M=|f(\frac{a+b}{2})|$$, but since I want to show that $$f(x) < -M$$ cannot hold, I want to reach a contradiction somewhere. But I'm not seeing the contradiction. That is, suppose that we have $$f(x) < -M = -|f(\frac{a+b}{2})|$$ for $$x \in (a,b) \cap (a, a + \delta)$$. But since $$f$$ is decreasing on $$(a,b)$$, then we have for $$x < (a + b)/2, f(x) \geq f(\frac{a+b}{2})$$ (1)

But even with this, how can I show that $$f$$ cannot be less than $$-M$$? That is, since $$M = |f(\frac{a+b}{2})|$$ is in terms of absolute values, but expression (1) does not exactly involve $$M$$ (i.e. no absolute values).

Any further help is appreciated! Thanks :)

Blog Entries: 1
Recognitions:
Homework Help

## lim |f(x)| = +infty and f decreasing implies lim f(x) = +infty

 Quote by fmam3 Thanks for the reply! I just want to follow up on this. Suppose we have picked $$M=|f(\frac{a+b}{2})|$$, but since I want to show that $$f(x) < -M$$ cannot hold, I want to reach a contradiction somewhere. But I'm not seeing the contradiction. That is, suppose that we have $$f(x) < -M = -|f(\frac{a+b}{2})|$$ for $$x \in (a,b) \cap (a, a + \delta)$$. But since $$f$$ is decreasing on $$(a,b)$$, then we have for $$x < (a + b)/2, f(x) \geq f(\frac{a+b}{2})$$ (1) But even with this, how can I show that $$f$$ cannot be less than $$-M$$? That is, since $$M = |f(\frac{a+b}{2})|$$ is in terms of absolute values, but expression (1) does not exactly involve $$M$$ (i.e. no absolute values). Any further help is appreciated! Thanks :)
$$f(\frac{a+b}{2})$$

is either M or -M. I f(x)<-M, we have f(x)<M also (since M is positive). So regardless of whether $f(\frac{a+b}{2}$ is positive or negative, we have that f(x) is less than it.

But if $x< \frac{a+b}{2}$ it must be $f(x) >f( \frac{a+b}{2})$ as f is decreasing

 Quote by Office_Shredder $$f(\frac{a+b}{2})$$ is either M or -M. I f(x)<-M, we have f(x)f( \frac{a+b}{2})[/itex] as f is decreasing
Thanks for the quick reply! I get the contradiction part in your last sentence, but I'm a little fuzzy on the first sentence. Just to be absolutely clear, I'll just spell it all out. Hope I'm understanding you correctly!

Let $$M > 0$$. Then set $$M = |f(\frac{a+b}{2})|$$. Then we must have that $$f(\frac{a+b}{2}) = M$$ (i.e. positive f) or $$f(\frac{a+b}{2}) = -M$$ (i.e. negative f). Now, we consider only the case $$f(x) < -M < 0$$. Then, in this case, we must have the case of negative f. Hence, this would imply that $$f(x) < -M = -(-f(\frac{a+b}{2})) = f(\frac{a+b}{2})$$. And from this, we use the fact that f is decreasing to reach the contradiction.

I just want to be sure that this is how I'm interpreting the below:
 Quote by Office_Shredder $$f(\frac{a+b}{2})$$ is either M or -M. I f(x)<-M, we have f(x)
Thanks again for the help!
 Actually, just to be nitpicking a bit. I think just saying $$x < (a + b) / 2$$ is not sufficient. Since the statement $$f(x) < -M$$ only holds for $$x \in (a,b) \cap (a, a + \delta)$$, it is not necessarily true that $$(a + b) / 2$$ falls into that range. Hence, I think it would be better if we write, for $$a < x < \min\{(a+b)/2, a + \delta\}$$, then since f is decreasing on $$(a,b)$$, it follows that $$f(x) \geq f(\frac{a+b}{2})$$ --- contradiction to the above.