Von Mangoldt function implications

123 Views Asked by At

$$\psi (x)=x-\sum _{\zeta (\rho )=0}{\frac {x^{\rho }}{\rho }}-\log(2\pi ).$$

is the explicit formula for the summatory Mangoldt function. Does this mean $x$ is alway bigger than $\psi(x)$ ?