We won't study limits in this course (indeed, they are very non-discrete!), but this example demonstrates that the basic logical tools we study are used to define continuous concepts like limits.
We can use deeply quantified statements to defined complicated concepts like limits. The idea behind the limit of a function is that one can force the function's output to be equal to the limit at (within any given tolerance) by making the input sufficiently close to . This can be formalized as follows:
If function from to , we say that the limit of at is (written ) if for all tolerances , there exists a distance such that for any value that is within the range , the distance between and is smaller than the tolerance.is a
More concisely,means .
Since we have a formal definition using standard logical constructs, we can use our usual proof techniques to prove things about limits:
In this example, you might conclude that since the limit is , it cannot be 1. But this assumes that the limit is unique. We can directly prove that the limit is not 1 by proving the logical negation of the fact that the limit is 1: