# Help understanding proof of derivative of log x base a

I am re-reading my calculus book and it has the following proof for the derivative of $\log_ax$:

$$(\log_ax)'=\lim_{h\to 0}\frac{{\log_a{(x+h)}}-\log_a{x}}{h}=\lim_{h\to0}\frac{\log_a{\left(\frac{x+h}{x}\right)}}{h}$$

$$=\frac{1}{x}\lim_{h\to0}{\left[\log_a{\left(1+\frac{h}{x}\right)^{\frac{x}{h}}}\right]}$$

That is all well and good, but I don't get how they make the next step:

$$=\frac{1}{x}\log_a{\left[\lim_{h\to0}{\left(1+\frac{h}{x}\right)^{\frac{x}{h}}}\right]}$$

I could only find different (and simpler) proofs online, and this question is just about how that last step was done. Thank you.

That is if a function $f$ is continuous at $x_0$, then $$\lim_{x \to x_0} f(x) = f\left(\lim_{x \to x_0} x\right)=f(x_0)$$
The last move is valid as $\log_a(.)$ is a continuous function.
• +1, never knew this! Follow-up question (not OP): If $f_1, f_2, \dots, f_n: \mathbb{R} \to \mathbb{R}$ are continuous functions at $x_0$, then would $$\lim_{x\to x_0}(f_n(\dots(f_2(f_1(x)))\dots)) = f_n(\dots(f_2(f_1(\lim_{x\to x_0}x)))\dots) \text{?}$$ Would this hold for infinitely many functions, or would we get tied up in complications involving AOC? – Andrew Tawfeek Sep 4 '17 at 6:03