寝て起きて少し考えたが、よもや１は
＞p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ
から
＞p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2に含まれていない素因数を持つ
が導けることが分からなかった、とかそういうレベルなのか