以下の問題が与えられています。 (1) $\sqrt[n]{n!} = \exp\left(\frac{1}{n}\sum_{k=1}^{n} \log k\right)$ を示す。 (2) $n \ge 2$ のとき、$\sum_{k=1}^{n} \log k > \int_{1}^{n} \log x dx$ を示す。 (3) (2) を使って (1) の値の極限 $\lim_{n \to \infty} \sqrt[n]{n!}$ を求める。

解析学極限数列対数積分Stirlingの公式
2025/7/23

1. 問題の内容

以下の問題が与えられています。
(1) n!n=exp(1nk=1nlogk)\sqrt[n]{n!} = \exp\left(\frac{1}{n}\sum_{k=1}^{n} \log k\right) を示す。
(2) n2n \ge 2 のとき、k=1nlogk>1nlogxdx\sum_{k=1}^{n} \log k > \int_{1}^{n} \log x dx を示す。
(3) (2) を使って (1) の値の極限 limnn!n\lim_{n \to \infty} \sqrt[n]{n!} を求める。

2. 解き方の手順

(1)
n!n=(n!)1/n\sqrt[n]{n!} = (n!)^{1/n} である。
両辺の対数を取ると、
log(n!n)=log((n!)1/n)=1nlog(n!)=1nlog(12n)=1nk=1nlogk\log(\sqrt[n]{n!}) = \log((n!)^{1/n}) = \frac{1}{n} \log(n!) = \frac{1}{n} \log(1 \cdot 2 \cdot \dots \cdot n) = \frac{1}{n} \sum_{k=1}^{n} \log k.
したがって、
n!n=exp(log(n!n))=exp(1nk=1nlogk)\sqrt[n]{n!} = \exp(\log(\sqrt[n]{n!})) = \exp\left(\frac{1}{n} \sum_{k=1}^{n} \log k\right).
(2)
n2n \ge 2 のとき、関数 logx\log x は増加関数なので、区間 [k1,k][k-1, k] において log(k1)logxlogk\log(k-1) \le \log x \le \log k が成り立つ。
k1klogxdx<k1klogkdx=logk\int_{k-1}^{k} \log x dx < \int_{k-1}^{k} \log k dx = \log k.
k=1nlogk=k=2nlogk+log1=k=2nlogk\sum_{k=1}^{n} \log k = \sum_{k=2}^{n} \log k + \log 1 = \sum_{k=2}^{n} \log k.
k=2nlogk>k=2nk1klogxdx=1nlogxdx\sum_{k=2}^{n} \log k > \sum_{k=2}^{n} \int_{k-1}^{k} \log x dx = \int_{1}^{n} \log x dx.
よって、k=1nlogk>1nlogxdx\sum_{k=1}^{n} \log k > \int_{1}^{n} \log x dx.
(3)
1nlogxdx=[xlogxx]1n=(nlognn)(1log11)=nlognn+1\int_{1}^{n} \log x dx = [x \log x - x]_{1}^{n} = (n \log n - n) - (1 \log 1 - 1) = n \log n - n + 1.
(2)より、1nk=1nlogk>1n1nlogxdx=nlognn+1n=logn1+1n\frac{1}{n} \sum_{k=1}^{n} \log k > \frac{1}{n} \int_{1}^{n} \log x dx = \frac{n \log n - n + 1}{n} = \log n - 1 + \frac{1}{n}.
logx\log x は凸関数なので、
1nk=1nlogk<1n+11nlogxdx=(n+1)log(n+1)(n+1)+1n=(n+1)log(n+1)nn=n+1nlog(n+1)1\frac{1}{n} \sum_{k=1}^{n} \log k < \int_{1}^{n+1} \frac{1}{n} \log x dx = \frac{(n+1) \log(n+1) - (n+1) + 1}{n} = \frac{(n+1) \log(n+1) - n}{n} = \frac{n+1}{n} \log(n+1) - 1.
logn1+1n<1nk=1nlogk<n+1nlog(n+1)1\log n - 1 + \frac{1}{n} < \frac{1}{n} \sum_{k=1}^{n} \log k < \frac{n+1}{n} \log(n+1) - 1.
したがって、
exp(logn1+1n)<exp(1nk=1nlogk)<exp(n+1nlog(n+1)1)\exp(\log n - 1 + \frac{1}{n}) < \exp\left(\frac{1}{n} \sum_{k=1}^{n} \log k\right) < \exp(\frac{n+1}{n} \log(n+1) - 1).
elogn1+1/n=ne11/ne^{\log n - 1 + 1/n} = \frac{n}{e^{1-1/n}}
en+1nlog(n+1)1=(n+1)n+1nee^{\frac{n+1}{n}\log(n+1) - 1} = \frac{(n+1)^{\frac{n+1}{n}}}{e}
nn \to \infty のとき、ne11/nne\frac{n}{e^{1-1/n}} \to \frac{n}{e}.
limnn!nn=1e\lim_{n\to\infty} \frac{\sqrt[n]{n!}}{n} = \frac{1}{e}より、limnn!n=limnne=\lim_{n\to\infty} \sqrt[n]{n!} = \lim_{n\to\infty} \frac{n}{e} = \infty.
limn1nk=1nlogk=01log(nx)dx=01logn+logxdx=logn+[xlogxx]01=logn+(010)=logn1\lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \log k = \int_{0}^{1} \log(nx) dx = \int_{0}^{1} \log n + \log x dx = \log n + [x \log x - x]_0^1 = \log n + (0-1-0) = \log n - 1.
ただし、x=k/nx = k/n とした。
limn(1nk=1nlogklogn+1)=0\lim_{n \to \infty} \left(\frac{1}{n} \sum_{k=1}^{n} \log k - \log n + 1 \right) = 0.
n!n=exp(logn1+o(1))\sqrt[n]{n!} = \exp(\log n - 1 + o(1)).
n!n=ne\sqrt[n]{n!} = \frac{n}{e}.

3. 最終的な答え

limnn!nn=1e\lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n} = \frac{1}{e}.
limnn!n=\lim_{n \to \infty} \sqrt[n]{n!} = \infty.
limnn!nn/e=1\lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n/e} = 1
よって、limnn!nn/e=1\lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n/e} = 1.

「解析学」の関連問題

はい、承知いたしました。画像にある問題のうち、10番の導関数を求める問題と、11番の不定積分を求める問題全てについて解答します。

導関数不定積分微分積分
2025/7/23

与えられた3つの極限値を求める問題です。 (1) $\lim_{x \to 0} \frac{x - \tan x}{x^3}$ (2) $\lim_{x \to 0} \frac{\cos^2 x ...

極限ロピタルの定理テイラー展開三角関数
2025/7/23

与えられた積分 $\int x^2 e^{3x} dx$ を計算します。

積分部分積分定積分
2025/7/23

問題は、 $x \geq 0$ のとき、不等式 $\frac{x}{1+x} \leq \log(1+x)$ を示すことです。ここで、$\log$ は自然対数とします。

不等式自然対数微分単調増加導関数
2025/7/23

## 1. 問題の内容

テイラー展開マクローリン展開多変数関数偏微分
2025/7/23

関数 $y = x^3 - 6x + a$ の極大値と極小値がともに正となるように、定数 $a$ の値の範囲を定める問題です。

微分極値関数の増減三次関数
2025/7/23

関数 $f(x) = x + \sqrt{1-x^2}$ の最大値と最小値を求めます。

関数の最大最小微分導関数定義域増減表
2025/7/23

関数 $f(x) = \frac{x^2 - 1}{x^2 + 1}$ の最大値と最小値を求めます。

関数の最大最小分数関数微分を使わない最大最小
2025/7/23

関数 $y = \arctan(\frac{x^2}{2})$ の $x=\sqrt{2}$ における接線を求めよ。ここで、$\arctan$ は $\tan^{-1}$ のことである。

微分接線逆三角関数導関数
2025/7/23

与えられた関数 $y = \log(\log x)$ の導関数を求めます。

導関数対数関数合成関数の微分微分
2025/7/23