极限化为定积分