Let

be a positive integer. Then

So

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