原函数存在定理中的f(t)是什么意思