积分上限函数;求函数解析式