函数最小值定义