18/08/10 00:36:52.10 0Fm7LTM5.net
>>794
訂正
×：>=log p + r[i]。
○：>=log p - r[i]。
と
×：とくにr(i)≠0かつr[i]≦p^i。(…
○：とくにr(i)≠0かつr[i]≦1/p^i。(…
と
×：S[p^0+1,p^1] > S[p^i+1,p^(i+1)]。
○：S[p^0+1,p^1] < S[p^i+1,p^(i+1)]。
18/08/10 00:36:52.10 0Fm7LTM5.net
>>794
訂正
×：>=log p + r[i]。
○：>=log p - r[i]。
と
×：とくにr(i)≠0かつr[i]≦p^i。(…
○：とくにr(i)≠0かつr[i]≦1/p^i。(…
と
×：S[p^0+1,p^1] > S[p^i+1,p^(i+1)]。
○：S[p^0+1,p^1] < S[p^i+1,p^(i+1)]。