El problema es mostrar
$$\int_0^\infty \frac{e^{-x}-e^{-xt}}{x}dx = \ln(t),$$
para $t \gt 0$ .
Estoy bastante atascado. He pensado en la integración por partes y no he conseguido nada con el integrando en su forma actual. He intentado una sustitución $u=e^{-x}$ y llegó a una nueva integral (esperemos que no haya errores)
$$ \int_0^1 \frac{u^{t-1}-1}{\log(u)}du, $$
pero esto tampoco parece ayudar. Espero poder tener una pista en la dirección correcta... Realmente quiero resolver la mayor parte por mí mismo.
¡Muchas gracias!