atan(1/3) + atan(1/5) + atan(1/7) + atan(1/8)