22/07/22 22:13:03.77 ZucShSYZ.net
>>802
>>795 では
p_{n+1} = p_n + log p_n となるようなn（存在するかは置いといて）については①が成り立ち、①が成り立つならp_{n+1} > p_n + log p_n でも
(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
が成立する
と書いているように見えたし、これ自体は正しいと思う。
でも、それでは >>793 で存在を認めてくれたような、①がそもそも成立しないような場合は考えられていないのでは？