Aquí, formula_21 es la función de von Mangoldt.