x-1>=lnx