验证极限lim x sinx x存在,但不能用洛必达法则