lim (x to 0) Re(zeta(1+ i*x))