>>797
∫[0,a]f(x)dx+∫[0,π/4](atany)dy=πa/4
でやればいいんだよね?