ln(x-5)<x-7