Show via Bolzano-Weierstrass that sin n has a convergent subsequence