# How to prove the double integral definition of logarithm?

Gold Member
Where does this definition come from: $$\ln n = \int_{0}^{\infty} \int_{1}^{n} e^{-xt} dx dt$$
Thank you very much.