Let be a positive integer. Then
Now let be a positive rational number. Then
Now let be a positive real number. By continuity,
where the last result is established by our definition of over the rational numbers.
Assume , then it is trivial that . Thus, for any positive real number ,
Therefore, for all or assume , then it is trivial that for all