D1-5,D16极限存在准则,D17