5.3.1 积分上限函数及其导数