sum (pi/2-arctan(log(n))) n from 1 to inf