单调增函数在开区间上有上界这个命题本身是不正确,例如:y=-1/x,在(-1,0)是无界的,如果把命题改为闭区间,结论是成立的,如[a,b]只需证明f(x)<=f(b)即可。