有界性的证明方法