>>422
＞log(p_2)−log(p_1) ＜ log(p_1)
その通りで書き間違いです。

左辺の足し算はΣ[k=2〜m]log(p_k)なので、両辺に-log(p_1)を足しています。

>>423
>>416により問題が等号が成立する部分を考慮しなければならないことが判明しました