若一个函数的导函数在有限区间上有界,则该函数也在此区间上有界,