- 975 名前： mailto:sage [2024/12/16(月) 22:34:05.40 ID:JOor3GsK.net]
- >>947
(log(p_(n+1)) － log(pn))/(p_(n+1)－ pn)の値、x=p_(n+1)として
Fn(x)としたときに、この関数がlog(x)のx座標がpnからp_(n+1)の傾きだと
いうことから、xの単調減少関数になることが分かります。
このときに、p_(n+1)≧pn+log(pn)の定義域の中で最小の値である
x=p_(n+1)=pn+log(pn)のときに、Fn(x)は上界になります。
これだけのことですが、分からないのでしょうか？
p_(n+1)の定義域が設定されているので、その範囲の中で、p_(n+1)の上界
を計算することができます。
