Theorem 2.1 (Merten’s Theorem). Assuming that:

  • x3

Then
  • (i) px log pp= log x+O(1)
  • (ii) px1p= log log x+M+O(1 log x) (for some M)
  • (iii) px(11p)=c+o(1) log x (for some c>0)