xϕ⁡(m)+O⁡(x⁢exp⁡(-λ⁡(α)⁢(log⁡x)1/2)),