All Questions

So a while back I was on the internet and had encountered a website containing an experimental search for identities for $\pi$. My memory was that the page belonged to either Jonathan Sondow or ...

Cipolla and Césaro both gave expansions of $\operatorname{li}^{-1}$ in tems of nested $\log$ functions. I think it can be written in terms of the Lambert-W function in the form: $\operatorname{li}^{-...