x=exp(-t)で0~∞で積分だ、なるほど