验证极限存在,但不能用洛必达法则求出.