Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can anyone prove the existence of a sequence $(n_{k})_{k\in \mathbb{N}}$ of distinct positive integers such that the limit: $\lim_{k\rightarrow \infty }\sin(n_{k})$ exists in $\mathbb{R}$

I can definitely construct a sequence $(n_{k})_{k\in \mathbb{N}}$ such that $\frac{1}{2}\leq \sin(n_{k})\leq 1$, but this doesn't imply that this sequence is convergent. Any suggestions?

share|cite|improve this question
the question as phrased doesn't make much sense: suppose $a_n \to a$, then $\sin(a_n) \to \sin(a)$. – Kris Jul 19 '12 at 17:35
I assume that the $n_k$ themselves have to be divergent or some similar restriction, otherwise as Kris said this is trivial. – Robert Mastragostino Jul 19 '12 at 17:40
@Kris: I fixed the typo. the terms of the sequence are positive integers – C. Lambda Jul 19 '12 at 17:53
I think one can prove that the set $\{\exp(in)\}_{n=1}^\infty$ is dense on the unit circle. This would imply the existance of such a sequence. Or, you can just copy the proof from here:… – Per Alexandersson Jul 19 '12 at 18:08
Yes, see – Per Alexandersson Jul 19 '12 at 18:09
up vote 8 down vote accepted

Every bounded sequence has convergent subsequence, see Bolzano-Weierstrass theorem.

If you apply this to the sequence $(\sin n)_{n=0}^\infty$, you get the desired result.

(Or you can mimic the proof of Bolzano-Weierstrass theorem, if you prefer.)

share|cite|improve this answer

I turn my comment into an answer: It follows directly from

share|cite|improve this answer

As @MartinSleziak noted, existence of such a sequence is easy. Slightly less obvious is how to construct the sequence more-or-less explicitly. Suppose $p$ and $q$ be positive integers such that $\left| \dfrac{p}{q} - \pi\right| < \dfrac{\epsilon}{q}$. Then $|p - q \pi| < \epsilon$ so $|\sin(p)| < \epsilon$. So we could use a sequence of good rational approximations of $\pi$. For example, we could take $p_k/q_k$ to be the convergents of the continued fraction of $\pi$, which have $|p_k/q_k - \pi| < 1/q_k^2$, and thus $|\sin(p_k)| < 1/q_k$.

share|cite|improve this answer

A couple of things to think about:

1) Let $\phi: \mathbb{R} \to \mathbb{R} / 2\pi\mathbb{Z}$ be the projection map. Then $\phi(\mathbb{N})$ is dense in $\mathbb{R} / 2\pi\mathbb{Z}$.

2) Let $n_k$ be an increasing sequence of (distinct) positive integers defined by picking $n_k$ such that $n_k$ $($ mod $2\pi ) < \frac{1}{k}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.