Real series/Sum sin n over n^2/Convergence/Exercise