sum from n=1 to infinity of n^{-sin(2)}