原式=∫(0,π/4)(sec²x-1)dx
=∫(0,π/4)sec²xdx-∫(0,π/4)dx
=∫(0,π/4)d(tanx)-∫(0,π/4)dx
=(tanx-x)|(0,π/4)
=1-π/4