Quiero demostrar que la integral: $$\int_1^{\infty}e^{-\arctan(x)}\ \mathrm{d}x$$
diverge.
He intentado utilizar las diferentes pruebas de comparación, pero no podía llegar a nada.
Me gustaría obtener una sugerencia, y espero seguir desde allí por mi propia cuenta.