设方程2lnx=7-x的解为x0,则关于x的不等式x-2