I can't seem to get Maple to approximate the integral
$\int_0^\infty \frac{x\exp(-x^2/4)\cosh(x)}{\sqrt{\cosh(x)-1}} dx.$
Could somebody tell me why?
This integral "should be" well-defined. (My reasons are not mathematical. The book I'm reading suggest that this integral makes sense.) Do note that the denominator of the integrand explodes at $x=0$, but this should not be a problem...
Can we give an upper bound for this integral?