lim real(zeta(1+ix)) x->0