0147132人目の素数さん
2018/08/07(火) 21:14:10.69ID:orOfcB8q13ページの最後の式の
Πpk^(ck+1)≦Πpk^(qk-1) が成立しなくなるだろ?
k=1〜r-1で
Πpk^(ck+1)≦Πpk^(qk-1) が成立していても
pr>{Πpk^(qk-1)}/{Πpk^(ck+1)}だったら
k=1〜rでは
Πpk^(ck+1)>Πpk^(qk-1) となるからな
素因数p1〜p{r-1}が幾つであってもpr>{Πpk^(qk-1)}/{Πpk^(ck+1)}となる素数prは存在できる