>>117
そういうこと！
あとは無理数度を使うくだりかな

続きを考えたい人のために捕捉
πの無理数度の有限性から、1/πの無理数度の有限性も導けることに注意。
あと、実数 r に一番近い整数 n をとれば |sin(πr)|≧2|r-n| という評価も得られる。
これらを使えばある実数 A,B>0 が存在して、正の整数jについて
1/|sin(j/2)| ≦ Aj^B
が成り立つことを導ける

>>119
うん。知識としてはC^∞関数のフーリエ係数のオーダーと、
πの無理数度の有限性だけで足りるはず