see * https://mathoverflow.net/questions/82635/explicit-formula-for-riemann-zeros-counting-function * https://mathoverflow.net/questions/63714/is-the-euler-product-formula-always-divergent-for-0res1
see