前スレで流れてしまったのですが、もう一度質問させてください。

素数定理に関係する証明です。
『π(x)の大きさの位数は x/logx である』を認めた上で
『Pnの大きさの位数は nlogn である』の証明を教えていただきたいです。

・π(x) : xを越えない素数の個数
・Pn : n番目の素数
・f : nの任意の関数, φ : nの正の関数 とするとき
『fの大きさの位数はφである』⇔『∃A,B>0 Aφ<f<Bφ』

様々な文献を調べても出てこないため、困っています。
よろしくお願いします。