From the definition of $e$ as the number such that $\lim_{h\rightarrow0}\frac{e^h-1}{h}=1$, is it possible to derive the formula $e=\lim_{n\rightarrow\infty}\left(1+\frac1n\right)^n$ withtout using any approximation or series expansion of the function $e^x$ ?
I'm looking for a way to introduce the number $e$ at the high school level, and defining it to be the value of $a$ such that $a^x$ has slope 1 at $x=0$ seems promising. I can then prove that the derivative of $e^x$ is itself; which is one of the main reasons for using $e$.
But, this doesn't really give a way to compute $e$ with arbitrary precision, while $e=\lim_{n\rightarrow\infty}\left(1+\frac1n\right)^n$ is such a way (just calculate $\left(1+\frac1n\right)^n$ with $n$ large). I can prove this formula from the above definition, but only by using Taylor expansion, which is not really taught at high school level. Hence my question.