[seqfan] A045575

[Hans Havermann]

https://oeis.org/A045575

A Charles Greathouse comment says: "Pillai proved that there are ~ 0.5 * (log x)^2/(log log x)^2 members of this sequence up to x."

I recently calculated that there are 133090654 terms of this sequence less than 10^60000. The above Pillai formula suggests 6.81215*10^7, unless I miscalculated. I contacted Greathouse about this via OeisWiki one week ago but have not received a response. The Waldschmidt link mentioning Pillai appears to be about solutions of Diophantine inequalities but I'm having difficulty understanding how it relates to A045575. Perhaps someone here with a better grasp of mathematics than I can have a look.