用有限覆盖定理证明有界性定理