>>356
起こり得るかどうかは不明だとしかいいようがない
起こり得ないケースという条件付きの根拠(照明)のない反論ですね

少なくとも、n=1を除けば後の場合は
(p+1)/2に含まれない素数が少なくとも一つp^(n-1)+p^(n-3)+…+1に含まれる
という命題が得られた