连续可推出极限存在