π⁡x-li⁡x=O⁡x⁢exp⁡-c⁢log⁡x,