Definition:Mangoldt Function