22/07/16 19:49:38.51 gh7rMz6a.net
>>574
私たちは、og(pn+1)?log?(pn)<log?(pn)/pnが成立するときに、Firoozbakht’s conjectureの
以下の不等式が成立することを示しました。
>>575
いいえ使っていません。
＞Since pn>n holds,
この部分は必要ありませんでした。
log(pn+1)?log?(pn)<log?(pn)/n
の両辺をlog?(pn)で割って
log(pn+1)/log(pn)<1+1/n
nlog(pn+1)<(n+1)log(pn)
logを外すと
pn+1^n<pn^(n+1)