integral 0 to pi /3 of pi*sec^2(x)