Mertens’ first theoremFor any real number x≥2 we have∑p≤xlnpp=lnx+O(1)for all prime integers p.Moreover, the term O(1) arising in this formula lies in the open interval (-1-ln4,ln4).