Limits of Inequality: Proving by Contradiction

Click For Summary
SUMMARY

The discussion centers on proving the limit inequality, specifically that if f(x) ≤ g(x), then lim[x->a] f(x) ≤ lim[x->a] g(x) under the condition that both limits exist. A user successfully demonstrated this by contradiction, assuming that lim[x->a] f(x) = l > lim[x->a] g(x) = m, leading to the conclusion that choosing epsilon as (l - m)/2 effectively yields a contradiction. The user seeks clarification on the rationale behind selecting this specific epsilon value.

PREREQUISITES
  • Understanding of limit notation and properties in calculus
  • Familiarity with the epsilon-delta definition of limits
  • Knowledge of proof techniques, particularly proof by contradiction
  • Basic concepts of inequalities in mathematical analysis
NEXT STEPS
  • Study the epsilon-delta definition of limits in detail
  • Explore advanced proof techniques in real analysis
  • Review examples of limit inequalities and their proofs
  • Investigate the implications of limit properties in calculus
USEFUL FOR

Students of calculus, mathematicians focusing on real analysis, and anyone interested in understanding limit properties and proof techniques in mathematics.

Buri
Messages
271
Reaction score
0

Homework Statement



If f(x) <= g(x) then lim[x->a] f(x) <= lim[x->a] g(x) provided that both of these limits exist.


2. The attempt at a solution

I've been able to prove it by contradiction. So I assumed that l = lim[x->a] f(x) > lim[x->a] g(x) = m. Therefore, l - m > 0 and I could choose epsilon = (l - m)/2 and the contradiction follows. However, what I need someone to help me with is how can I "see" that (l - m)/2 will actually work (i.e. yield a contradiction)? I just immediately thought of using this choice of epsilon and a contradiction followed. But going back to the problem now, I have no clue why I choose this epsilon. Can someone be able to help me as to why this one actually works?

Thanks
 
Physics news on Phys.org
(l - m)/2 is half the difference of l and m.
 
Mark44 said:
(l - m)/2 is half the difference of l and m.

LOL! Obviously...
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
32
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
3
Views
1K