ｆは[０,∞)上の実数値をとる連続関数とします
ｌｉｍ(ｘ→∞)ｆ(ｘ)が有限な値に収束する時、
ｌｉｍ(ｘ→∞)∫(０→ｘ)ｅ^(ｙ−ｘ)・ｆ(ｙ)ｄｙ＝ｌｉｍ(ｘ→∞)ｆ(ｘ)
が成り立つらしいのですが、何故ですか？
またこの等式はどのように味わえばよいでしょうか？