sum 1 to inf 1/(n^3 sin^2 n)