Logaritma ile fonksiyonu çarpım olarak yazma:
$x\in \mathbb R_{>1}$ olmak üzere $$\ln f(x)=\ln\left((\ln x)^{\ln x}\right)=\ln x\cdot \ln \ln x$$ eşitliği sağlanır.
Sağ taraftaki fonksiyonun türevi:
$x\in \mathbb R_{>1}$ olmak üzere $\ln x\cdot \ln \ln x$ fonksiyonunun türevi, türevin çarpım kuralı ve zincir kuralı ile, \begin{align}\frac d{dx}\left(\ln x\cdot \ln \ln x\right)\ &=\ \frac1x\cdot \ln \ln x+\ln x\cdot \left(\ln^\prime x\cdot \ln^\prime(\ln x)\right)\nonumber\\[15pt] &=\ =\frac1x\cdot\ln \ln x+\frac1{x^2}\label{eq:turev1}\end{align} eşitliğini sağlar.
Logaritmik türevin varsa türev de vardır:
Gerçel sayılar üzerinde $\exp$ ve $\mathbb R_{>1}$ üzerinde $\ln f$ fonksiyonu türevlenebildiğinden $\mathbb R_{>1}$ üzerinde, bileşkeleri olan, $$f=\exp(\ln f)$$ fonksiyonu, zincir kuralı ile, türevlenebilir.
Logaritmik türev ile fonksiyon ve türevinin ilişkisi:
Pozitif gerçel sayılar üzerinde $\ln$ ve $\mathbb R_{>1}$ üzerinde $f$ fonksiyonu türevlenebildiğinden, zincir kuralı ile, $\mathbb R_{>1}$ üzerinde\begin{equation}\label{eq:turev2}(\ln f)^\prime(x) \ = \ \ln^\prime(f(x))\cdot f^\prime(x) \ = \ \frac1{f(x)}\cdot f^\prime(x) \ = \ \frac{f^\prime(x)}{f(x)}\ = \ \frac{f^\prime(x)}{(\ln x)^{\ln x}}\end{equation}eşitliği sağlanır.
Bilgileri birleştirme ve sonuca varma:
Eşitlik \eqref{eq:turev1} ve \eqref{eq:turev2} ile $$\frac1x\cdot\ln \ln x+\frac1{x^2}\ = \ (\ln f)^\prime(x) \ = \ \frac{f^\prime(x)}{(\ln x)^{\ln x}} $$$$\text{ yani } \ \ \ f^\prime(x) \ = \ (\ln x)^{\ln x}\cdot\left(\frac1x\cdot\ln \ln x+\frac1{x^2}\right)$$ eşitliği sağlanır.