Second Chebyshev function (source code)

= Second Chebyshev function
{c}
{title2=$\psi(x)$}

The second Chebyshev function is the summatory <Von Mangoldt function>, $\psi(x)=\sum_{n\leq x}\Lambda(n)$.