Integral from 0 to infinity of tan^{-1}(e^{-x}) dx

[@slavinojunepri7648]

Fantastic

[@FarhanKhan-vj2rl]

The result you got at 4:40 could have easily obtained by letting j=e^(-x) in the original integral.