on Sun, 26 May 2002, Tomas Kalmar <TomKalmar@aol.com> wrote:
<< I recall reading somewhere that in his youth Gauss wrote (on the last page of a notebook?) a cryptic formula something like n=lp where n is understood to mean any integer, l the log of that integer, and p is short for pi[n], the number of primes less than n: in short Gauss's Prime Number Theorem. >>
This is one of (many, as protested by Legendre) results alleged by Gauss, when they were discovered by others. Indeed, the only Gaussian real "touch" about it is in a letter to Johan Encke, dated 1848, when Legendre had first announced it in 1798.