∑p≤xlog⁡pp=log⁡x+O⁡1.