基本极限公式推导