I'm not sure as whether this proof is valid in most basic calculus courses that I know of: you use stuff way more advanced than what is usually assumed for this kind of questions (e.g., derivatives which are defined by means of limits, or the basic characterization of the exponential function as the only real one (up to a scalar multiple) which equals its own derivative ... ).
One approach is to define , after we've proved the limit exists (for example by proving the seq. is monotone increasing and bounded above).
Then we can prove the limit is between 2 and 3, irrational and etc.
After this it's already easy to prove that for any sequence , and from here we can get (i.e., pass
from discrete to continuous variable once we know a little about limits of functions)
So, if we already know this, we can use a little limits arithmetic:
, as .
For the process is similar with and etc. , though here some other things must be proved...
Tonio