Sorunun çözümünde sinx>0 varsayacağız.
sinnxsin(n+1)x=1sinx1cotx+cotnx
olduğuna dikkat edelim.
k tam sayısı kπ<−x<(k+1)π olacak şekilde seçilsin. Bu durumda
k<−xπ<k+1 dir. t=−xπ−k>0 koyalım. xπ
irrasyonel olduğundan D={a+bxπ:a∈Z, b∈N} kümesi
R de yoğundur. O halde
−tn<an+bnxπ<0
olacak şekilde (an)⊂Z, (bn)⊂N alt dizileri vardır.
k<−tn−xπ<an+(bn−1)xπ<−xπ
kπ<−tπn−x<anπ+(bn−1)x<−x
−cot(tπn+x)>cotknx>−cotx⟹cotx−cot(tπn+x)>cotx+cotknx>0
olur. Sonsuz sayıda n için bn>1 dir. Böyle n ler için kn= bn−1 koyacak olursak
sinknxsin(kn+1)x=1sinx1cotx+cotknx⟹limn→∞sinknxsin(kn+1)x=∞
olur. Dolayısıyla limsupn→∞sinnxsin(n+1)x=∞ dur. sinx<0 olması durumunda (an)⊂Z, (bn)⊂N
dizileri 0<an+bnxπ<tn olacak şekilde seçilirse gene ayni sonuç elde edilir.