limit of (2/sqrt(3))*arctan((tan(x/2)/sqrt3)) when x = pi