x=W(x)*e^(W(x))
x^(x*x^x)=2
x*x^x*ln(x)=ln(2)
x*e^(ln(x)*x)*ln(x)=ln(2)
u=x*ln(x)
u*e^u=ln(2)
u=W(ln(2))
x*ln(x)=W(ln(2))
e^(ln(x)*x)=e^W(ln(2))
x^x=e^W(ln(2))
x = square-super-root(e^W(ln(2)))
wikipedia says this is equivalent to:
x=e^W(ln(e^W(ln(2))))
but I don't know how they arrive at that.
x=e^W(W(ln(2))
working backwards to verify:
x=e^W(W(ln(2))
ln(x)=W(W(ln(2))
ln(x)*x=W(ln(2))
ln(x)*x*e^(ln(x)*x)=ln(2)
ln(x)*x*x^x=ln(2)
e^(ln(x)*x*x^x)=2
x^(x*x^x)=2
![[2024/05/05] Fake power tower](https://lemmy.world/pictrs/image/2181c2ea-caec-4d65-8827-2e3659739daa.png){kind=link}
I believe it is:
spoiler
e^W(W(ln(2))spoiler
x=W(x)*e^(W(x)) x^(x*x^x)=2 x*x^x*ln(x)=ln(2) x*e^(ln(x)*x)*ln(x)=ln(2) u=x*ln(x) u*e^u=ln(2) u=W(ln(2)) x*ln(x)=W(ln(2)) e^(ln(x)*x)=e^W(ln(2)) x^x=e^W(ln(2)) x = square-super-root(e^W(ln(2))) wikipedia says this is equivalent to: x=e^W(ln(e^W(ln(2)))) but I don't know how they arrive at that. x=e^W(W(ln(2)) working backwards to verify: x=e^W(W(ln(2)) ln(x)=W(W(ln(2)) ln(x)*x=W(ln(2)) ln(x)*x*e^(ln(x)*x)=ln(2) ln(x)*x*x^x=ln(2) e^(ln(x)*x*x^x)=2 x^(x*x^x)=2x^x=e^W(ln(2))isn’t wrong, but it’s in a form that’s inconvenient to say the least.Picking up from
x*ln(x)=W(ln(2))spoiler
spoiler
x^xis a far superior substitution, but it takes a bit to notice it