log(pn+1)/log?(pn)<(pn+1/pn)1/aが成立するという条件のもとで
不等式(2)が成立する場合であれば
log(pn+1)?log(pn)<alog?(1+1/n)
が必ず成立しなければならない。よって上記の不等式は成立が
必要だということになる。