arg(zeta(1/2+I*t))/Pi over 0,40