og】

因此，ψ(x)≤π(x)log(x)x\fraclog(x)}{x}

另一方面，对于所有的α\alpha，0