Chebyshev Psi Function
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
Summatory arithmetic function ψ(x)=Σ_{n≤x}Λ(n)=Σ_{p^k≤x}log p that sums log p over all prime powers p^k not exceeding x; it counts primes with multiplicity according to their prime-power contributions.