lim_{n \ to \infty} (1/n)*\sum_{k=1}^n k*log(cos(1/(n-k+2))
が収束することを示し、その収束値を α とすると
3/2 < e^(-2α) < 2
が成り立つことを示せ。