数学のブログ

数と極限 収束・発散の条件 対数関数、自然対数の底(ネイピア数、オイラー数)、広義積分

微分積分演習〈理工系の数学入門コース/演習 新装版〉 (和達 三樹(著)、十河 清(著)、岩波書店)の第1章(数と極限)、1-3(収束・発散の条件)、問題2の解答を求めてみる。

1

lim n n log ( n + 1 n )
= lim n log ( 1 + 1 n ) n
= log e
= 1

2

n n ! n = ( n n n ! ) 1 n = ( = 0 n - 1 n n - k ) 1 n = ( k = 0 n - 1 n - k n ) - 1 n = ( k = 0 n - 1 ( 1 - k n ) ) - 1 n

両辺の対数をとると、

log n n ! n = - 1 n k = 0 n - 1 log ( 1 - k n )

よって、

lim n log n n ! n = - 0 1 log ( 1 - x ) dx

広義積分を考える。

0 < b < 1

を満たす実数に対して、

0 b log ( 1 - x ) dx
= [ x log ( 1 - x ) ] 0 b + 0 b x 1 - x dy
= b log ( 1 - b ) - 0 b 1 - x - 1 1 - x dx
= b log ( 1 - b ) - 0 b ( 1 - 1 1 - x ) dx
= b log ( 1 - b ) - b - [ log ( 1 - x ) ] 0 b
= b log ( 1 - b ) - b - log ( 1 - b )
= - ( 1 - b ) log ( 1 - b ) - b

よって、

lim b 1 0 b log ( 1 - b ) dx = - 1

ゆえに、

lim n log n n ! n = 1
lim n n n ! n = e

(証明終)

コード(Wolfram Language, Jupyter)

Limit[n Log[(n + 1)/n], n -> Infinity]
1
ListPlot[Table[n Log[(n + 1) / n], {n, 1, 100, 1}]]
Output
Limit[n / Factorial[n]^(1/n), n -> Infinity]
Output
ListPlot[Table[n / Factorial[n]^(1/n), {n, 1, 100, 1}]]
Output