>>321

a_(n+1) = exp(-a_n)

f(x) := x - exp(-x)
f(0) = 0 - exp(-0) = -1 < 0
f(1) = 1 - exp(-1) > 0

中間値の定理より、

f(x_0) = 0 となるような x_0 ∈ (0, 1) が存在する。

f'(x) = 1 + exp(-x) > 1 > 0

だから、 f(x) は狭義単調増加関数である。

f(x) = 0 となるような x はちょうど一つ存在する。

f(x_0) = 0 とすると、↑より、 x_0 ∈ (0, 1) である。

n ≧ 1 のとき、

a_n = exp(-a_(n-1)) > 0 である。

n ≧ 2 とする。

exp(-a_(n-1)) - exp(-x_0) = -exp(-t) * (a_(n-1) - x_0) となるような a_(n-1) と x_0 の間の数
t が存在する。よって、

|a_n - x_0| = |exp(-a_(n-1)) - exp(-x_0)| = |-exp(-t)| * |a_(n-1) - x_0| = exp(-t) * |a_(n-1) - x_0|

と書ける。