 This function is related to the logarithm by the asymptotic expansion

So, the prime number theorem can also be written as .In fact, in another paper in 1899 de la Vallée Poussin proved that

for some positive constant , where is the big notation.This has been improved to

In 2016, Trudgian proved an explicit upper bound for the difference between formula_25 and formula_26