Докажем формулу производной логарифмической функции для всех x из области определения и всех допустимых значениях основания a логарифма. По определению производной имеем:
Как Вы заметили, при доказательстве преобразования проводились с использованием свойств логарифма. Равенство 
справедливо в силу второго замечательного предела.
