pi(n) = n/ln(n) + n/ln^2(n) + n/ln^3(n) + ... I think this is stronger than prime number theorem and closer to the true value of pi(n).