π⁡x-li⁡x=O⁡x⁢exp⁡-d⁢log⁡x3/5⁢log⁡log⁡x-1/5.