We know that Gauss discovered that $\pi(n) \sim \frac{n}{\log(n)}$. This is also known as prime number theorem.
Prime number theorem also says $\int_0^{n} \frac{dt}{\log(t)} \sim \pi(n)$. The question is who first discovered this?
Some sources say that Legendre discovered it. I couldn't find a source about this on wikipedia. I even asked ChatGPT and it said that Gauss discovered.