Selberg's identity

In number theory, Selberg's identity is an approximate identity involving logarithms of primes named after Atle Selberg. The identity, discovered jointly by Selberg and Paul Erdős, was used in the first elementary proof for the prime number theorem.