This section is devoted to two beautiful monotonic sequences
and their limits. Staring at the sequences, it is not clear what will happen: will the go to 1 so fast that the exponent of or not matter? or will the exponent beat the and the sequence go to infinity? In fact, the answer is something in between. These sequences come up regularly enough that it is worth learning the sequences and the limits, if not the following rather pretty argument.
We start by proving monotonicity. Let and apply the exponential inequality to giving
showing that is monotonic nondecreasing.
Now let again and consder a second application of the exponential inequality:
It follows that is monotonic nonincreasing.
Also for all so given any and we have
Hence for all and therefore both sequences and converge, to and , say, where . But
so by continuity, so by uniqueness of limits.
The limit ( ) that is the limit here can be calculated approximately using the terms of the sequences (though there are better methods that give more accurate answers more quickly) and it turns out that , the number commonly (pun intended!) used as the base of the natural log.
The sequences both converge to .
Taking this idea a little further it is possible to define a function . It turns out that has all the properties expected of an exponential function, including , and and we may define . Once the inverse function or of has been defined we may define for and arbitrary . But apart from stating the essential ideas here, this takes us far to far for this module, so I shall omit the details.
Modify the arguments at the top of this web page to show that for each the sequence is eventually monotonic nondecreasing and the sequence is eventually monotonic nonincreasing.