极限存在.可微.连续的逻辑关系