むしろ

自然数 n にたいして 実数列a[n]を a[n]=Inf{sin(i)| 1≦i≦n} で定める。
lim{n →∞}a[n] の値を知りたい