标签：C闭区间上的连续函数一定能取到最小值