# Interchanging limits and logarithms

This is probably not too smart, just wondering of the name of this rule: $$\log \lim_{x \to x_0}f(x) = \lim_{x \to x_0}\log f(x)$$ A reference to a source and/or proof would be good too.

-

As long as the function inside the limit symbol is continuous at $x_0$, the statement follows from the continuity of that function. Search for "interchanging limits," and you're sure to find sources.