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