補題１
素数列p(n)に対して次の式が成立する
{logp(n+1)-logp(n)}/{p(n+1)-p(n)}<1/p(n)<log(n+1)-logn

補題２
素数列p(n)に対して次の式が成立する
{logp(n+1)-logp(n)}/{p(n+1)-p(n)}<={logp(n+1)-logp(n)}/logp(n+1)<1/p(n)

補題１の最右辺の不等式はどうやって導いた？