For closed formulas, a formula that approximates the numbers of primes less than or equal to $n$ is $\dfrac{n}{\ln(n)}$.
A formula that gets much closer to the exact values, at least for $n < 3000$, is $\dfrac{n}{\ln(n) - 1}$.
I discovered $\dfrac{n}{\log_{10}(n^2)}$, which gives values many times within 2 of the actual value for $n < 3000$.
Has anyone seen my formula before? (I looked for it on the Internet.)
Nice work! Yep, $\frac{n}{\ln n}$ in particular is the prime number theorem. The other two formulas, $\frac{n}{\ln(n) - 1}$ and $\frac{n}{\log_{10}(n^2)}$, look like over-fitting to small values. Note that $\log_{10}(n^2)=2\log_{10}(n)=\frac{2}{\ln 10}\ln(n)\approx 0.868\ln(n)$. So that formula will be off by a constant factor for very large $n$.