It is well known (not to me -- ed.) that for every real number $\theta \in [0, 1]$  *there exists* a sequence $(k_i)$ such that $\lim\sin k_i = \theta,$ but there appear to be no explicit such (infinite) sequences, even for $\theta=0.$ Does anyone know of such?