[math-fun] Conjecture on Skewes' number