skewes number