积分上限变换公式