变上限积分函数定义