函数f(x),区间[a,b],f(x)在区间上的上确界为M,下证存在一点h使得f(h)=M
反证：如结论不成立,则对任意一点z,都有f(z)