通过 Bolzano-Weierstrass 证 sin n 有收敛子列。