Sum_(n=0)^(infty) arccot(n^2+n+1)