单调有界性证明