π⁡x-li⁡x<18⁢π⁢x⁢log⁡x.