En 1895, Hans Carl Friedrich von Mangoldt halló una expresión explícita para formula_2, que contiene una suma sobre los ceros no triviales de la función zeta de Riemann: