donde formula_32 recorre todos los ceros no triviales de la función zeta, y