ln⁡x≤x-1,