单调有界怎么证明