int_0^(pi/6) sec x dx