integrate from 0 to pi/4 of sec^2 x dx を計算します。