∫[0,∞] exp(-x)arctan(x) dx
を求めよ。