# Proof:Limit of x at 0 is not 1

where .
Proof:
The logical negation of

is

Let . Choose an arbitrary .

Let be the minimum of and . Note that , and (you can prove this using case analysis).

Then we have . Moreover, so , and therefore , which is what we were trying to prove.