Estoy tratando de probar que:
$x^{\frac{\ln(\ln(x))}{\ln(x)}} = \ln(x)$
Mi "solución":
$e^{\ln\left(x^{\frac{\ln(\ln(x))}{\ln(x)}}\right)} = e^{\frac{\ln(\ln(x))}{\ln(x)} \ln(x)} = e^{\ln(\ln(x))} = \ln(x)$
Es el primer paso válido, yo.e es $\ln(x^{p(x)}) = p(x) \ln(x)$
¿Cómo puedo averiguar por mí mismo?