Gap lemma
Gap lemma is actually a trivial corollary of the completeness property of but is extremely useful in real analysis
Statement
Let be bounded above
Let
Then, such that
Proof
Assume if possible, such that
Consider
We see that is an upper bound of , but which contradicts the assumption that This article is a stub. Help us out by expanding it.