Re: [math-fun] Conjecture on Skewes' number

Allan Wechsler wrote:

But do we even know that e^e^79 is nonintegral? Do we know that e^e^10 is nonintegral?

Regarding the latter, in Mathematica: $MaxExtraPrecision=Infinity; N[FractionalPart[E^E^10],20] 0.81985800792189826174 e^e^20 is probably doable, but would take some time on my old machine.