自变量趋向于有限值时函数极限存在的充分必要条件