Real Plus Epsilon
From ProofWiki
[edit] Theorem
Let
, such that:
where
is the set of strictly positive reals, i.e.
.
Then
.
[edit] Proof
Suppose
. Then
.
But
(by hypothesis).
Let
. Then
.
The result follows by Proof by Contradiction.

