real part of roots of zeta function