Approximation of π(x) by ψ(x)