Add Mangoldt function