[frodetb]

Agreed! I'm realizing that my comment came across as negative, but I did appreciate seeing a second path to the same place. I also agree that the expression x^(1/x) feels like a more natural place to start.

You often see this I think, in "pretty" proofs compared with the more direct approach. A clever early step or some bit of startling insight.