存在原函数和可积的条件