理解が弱い高木くんのために補足しておくと
>>45の議論によってp_(n+1)=3のとりうる値の集合の下限は3
一方で>>37によればp_(n+1)=3のとりうる値の集合の下限は2+log2
これらは等しいはずだから高木数学では3=2+log2ということね