>>871
場合分けの条件ⅱがp_{n+1}-p_n≧log p_nだから

>>872
あり得ないもの場合を考えるときは、whenではなく何を使えばいいんでしょうか？

>>873
私が考えの範囲で論理の間違いや計算間違いがないこと