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