高木くんがアクセプトされるまで見守るスレ ★4

>>96
論文をちゃんと読めていない

F(x)=(log(pn+1)-log(pn))/(x-pn)で単調減少関数であり、pn+1≧pn+log(pn)だから
F(x)の値を要素とする集合B(最新ではA)の下界となる。