ネイピア数eの最も直感的でわかりやすい定義の一つが「極限による定義」です。
極限による定義とは、e = lim(n→∞)(1+1/n)ⁿという式で表され、nを無限大に近づけたときの(1+1/n)ⁿの収束値としてeを定義するものです。
本記事では、この極限定義の意味・計算方法・収束の証明・関連する公式について詳しく解説します。
極限による定義：e = lim(n→∞)(1+1/n)ⁿの意味
それではまず、極限によるネイピア数の定義の意味について解説していきます。
この定義は前述の複利計算の問題から自然に導かれます。
年利100%の元金1円を年間n回の複利で運用したときの1年後の金額が(1+1/n)ⁿであり、n→∞の極限がeとなります。
n=1のとき：(1+1)¹ = 2
n=2のとき：(1+1/2)² = 2.25
n=10のとき：(1+1/10)¹⁰ ≈ 2.594
n=100のとき：(1+1/100)¹⁰⁰ ≈ 2.705
n=1000のとき：(1+1/1000)¹⁰⁰⁰ ≈ 2.717
n→∞：lim(1+1/n)ⁿ = e ≈ 2.71828…
この数列は単調増加かつ上に有界であるため、極限値が存在（収束）することが数学的に保証されます。
一般化された極限公式
e = lim(n→∞)(1+1/n)ⁿの一般化として、次の公式が重要です。
e^a = lim(n→∞)(1+a/n)ⁿ（aは任意の実数）
特にa=1のとき e¹ = lim(n→∞)(1+1/n)ⁿ（元の定義に一致）
また：lim(h→0)(1+h)^(1/h) = e
この一般化公式は、連続的な成長率aの指数的成長をeを使って表現するための基礎です。
収束の証明の概要
数列(1+1/n)ⁿが収束することの証明は、「単調増加かつ有界」であることを示す方針で行われます。
単調増加性はAM-GM不等式（算術・幾何平均不等式）を使って証明でき、有界性は(1+1/n)ⁿ<3であることから示されます。
単調有界数列の収束定理（実数の完備性）によって、極限値の存在が保証されます。
lim(h→0)(eʰ-1)/h = 1の導出
eˣの微分導出で使った極限lim(h→0)(eʰ-1)/h=1は、eの極限定義から導くことができます。
t=(eʰ-1)とおくとh=ln(1+t)であり、h→0のときt→0です。
これを使うと lim(h→0)(eʰ-1)/h = lim(t→0)t/ln(1+t) = 1/lim(t→0)ln(1+t)/t = 1/1 = 1が導かれます。
極限を使ったeの計算と近似
続いては、極限公式を使ったeの数値計算と近似方法を確認していきます。
級数による高精度計算
eの数値計算には、極限公式よりも級数展開（e = Σ 1/n!）の方が収束が速く実用的です。
e = 1/0! + 1/1! + 1/2! + 1/3! + 1/4! + …
= 1 + 1 + 1/2 + 1/6 + 1/24 + 1/120 + …
= 1 + 1 + 0.5 + 0.1667 + 0.0417 + 0.0083 + …
≈ 2.71828（わずか6項で小数点以下5桁が確定）
階乗の逆数の和は急速に0に近づくため、少ない項数で高精度な近似値が得られるのがこの級数の特長です。
関連する重要な極限公式
| 極限公式 | 値 | 応用場面 |
|---|---|---|
| lim(n→∞)(1+1/n)ⁿ | e | ネイピア数の定義 |
| lim(h→0)(eʰ-1)/h | 1 | eˣの微分導出 |
| lim(h→0)(ln(1+h))/h | 1 | ln xの微分導出 |
| lim(n→∞)(1+a/n)ⁿ | eᵃ | 連続複利・成長モデル |
コンピュータによるe値の計算
現代のコンピュータでは、eの値を数千・数万桁まで精密に計算することが可能です。
プログラミングではexp()関数（math.exp()など）でeˣを計算でき、ほとんどの言語でIEEE 754浮動小数点標準に基づいた高精度な計算が利用できます。
まとめ
ネイピア数eの極限による定義はe = lim(n→∞)(1+1/n)ⁿであり、複利計算の問題から自然に導かれる直感的な定義です。
数列(1+1/n)ⁿは単調増加かつ有界であることから収束が保証され、その極限値がeです。
一般化公式e^a = lim(n→∞)(1+a/n)ⁿや、微分導出に使われるlim(h→0)(eʰ-1)/h=1など、関連する重要な極限公式と合わせて理解することでeの理解が深まります。
実用的な数値計算には級数展開（Σ 1/n!）の方が収束が速く便利であることも、合わせて覚えておきましょう。
