 Suppose that and let tend to 1 from above.Since formula_19 has a simple pole at and stays analytic, the left hand side in the previous inequality tends to 0, a contradiction.Finally, we can conclude that the PNT is heuristically true.