間違えた

>>495の積分式自体はいいんだ
これを何も考えずに端点だけあわせて∫[0,5π/4]duとやってしまうと
arctanの値域の問題(あるいは多価性の問題)から値が変わってしまう
だから端点の取り方に無頓着であってはいかん

こうだな