li(x)ϕ(m)+O(xexp(λ(α)(lnx)1/2)),