mean of 1/cos(x) for x from 0 to pi/4