证 Bolzano-Weierstrass： R 中有界序列有收敛子列。