\pi(n)\sim\frac n{\ln n}