Definition:Second Chebyshev Function

Definition
The second Chebyshev Function $\psi: \R \to \R$ is defined as follows:

Also see

 * Equivalence of Definitions of Second Chebyshev Function