证 limit as x -> 0 of 1/x 不存在。