No me refiero a llevar esta cuestión a la vuelta de entre los muertos, pero Elias", la respuesta es bastante malo, y Anders parece haber sido sólo un aviso, pero fue ignorado. Prueba cualquiera de n=1,2,3, por ejemplo, todos dan respuestas incorrectas, así que voy a dar mi propia respuesta, que es un enfoque similar.
Un poder torre con n xtotal de s puede ser descrito por n∈N0
φn(x)={1, if n=0xφn−1(x), if n>0
Entonces logφn(x)=φn−1(x)log(x)⟹φ′n(x)=φn(x)φn−1(x)x+φn(x)φ′n−1(x)log(x)
Recursivamente usando esta identidad,
φ′n(x)=φn(x)φn−1(x)x+φn(x)(φn−1(x)φn−2(x)x+φn−1(x)φ′n−2(x)log(x))log(x)
=φn(x)φn−1(x)x+φn(x)φn−1(x)φn−2(x)log(x)x+φn(x)φn−1(x)φ′n−2(x)log2(x)
=φn(x)φn−1(x)x+φn(x)φn−1(x)φn−2(x)log(x)x+φn(x)φn−1(x)φn−2(x)φn−3(x)log2(x)x+φn(x)φn−1(x)φn−2(x)φ′n−3(x)log3(x)
Continuar este patrón, se han
φ′n(x)=1xn∑k=1(k∏i=0φn−i(x))logk−1(x)
Nota: Si tenemos un poder infinito de la torre, nos tienen esencialmente φn(x)=φn−1(x), de modo que la derivada de una potencia infinita de la torre es
φ′∞(x)=1x∞∑k=1(k∏i=0φ∞(x))logk−1(x)=1x∞∑k=1φk+1∞(x)logk−1(x)
φ2∞(x)x∞∑k=0(φ∞(x)log(x))k=φ2∞(x)x(1−φ∞(x)log(x))
Esto es válido para todos los x tal que φ∞(x) es finito (que es el intervalo de [e−e,e1e]), debido a que en ese intervalo, |φ∞(x)log(x)|=|W(−log(x))|≤1, con igualdad sólo en los extremos, por lo que la serie anterior converge.