Searching for links to PrimeNumberTheorem:
Asymptotic
LogarithmicIntegral