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