解不等式lnx+1>0