>>1
1より小さいから上に有界。

したがって a_n は収束する。 >>4 を参照。

lim[n→∞) (1 - 1/n)^(n -1/2) = 1/e,

lim[n→∞) (1 + 1/n)^(n +1/2) = e,