The Von Mangoldt function is nonnegative and satisfies . Using the Von Mangoldt divisor identity,
For , a comparison with an improper integral gives
Solved by gpt-5.6-sol high.