ExpIntegralEi[Log[20] ZetaZero[1]]