lnx在x右趋近于0时极限为负无穷,用定义怎么证明