\[\psi\left(x\right)=\sum_{m=1}^{\infty}\sum_{p^{m}\leq x}\ln p,\]