|ζ(x+i*y)|=1/√(1+1/2^(2x)-2*cos(y*ln2)/2^x)*(1+1/3^(2x)-2*cos(y*ln3)/3^x)*(1+1/5^(2x)-2*cos(y*ln5)/5^x)*(1+1/7^(2x)-2*cos(y*ln7)/7^x)*・・・*(1+1/n^(2x)-2*cos(y*lnn)/n^x))
y*ln(Πk)) mod 2π = 0
y*lnΠP(k) mod 2π≒π