［４］ｃ1ｘ／ｌｏｇｘ＜π（ｘ）＜ｃ2ｘ／ｌｏｇｘ　　（チェビシェフ）

［５］ｄ1ｎｌｏｇｎ＜ｐn＜ｄ2ｎｌｏｇｎ

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　π（ｐn）＝ｎであるから，［４］にｘ＝ｐnを代入すると，

　　ｃ1ｐn／ｌｏｇｐn＜ｎ＜ｃ2ｐn／ｌｏｇｐn

　　（ｎｌｏｇｐn）／ｃ1＜ｐn＜（ｎｌｏｇｐn）／ｃ2

　　ｌｏｇｎ−ｌｏｃ1＜ｌｏｇｐn−ｌｏｇｌｏｇｐn＜ｌｏｇｎ−ｌｏｃ2

　ｎが十分大きければ

　　１／２ｌｏｇｐn＞ｌｏｇｌｏｇｐn

より，［５］が成り立つ．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝