# Chebyshev psi function

The Chebyshev $\psi$ function is $$\psi(x) = \displaystyle\sum_{p^k \leq x} \log p = \displaystyle\sum_{n \leq x} \Lambda(n),$$ where $\Lambda$ denotes the Mangoldt function.