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