Riemann–von Mangoldt formula