sum (arctan (1/(2 k)))^2 from k = 1 to + \[Infinity]