von mangoldt function