 The theorem was proved independently by Jacques Hadamard and Charles Jean de la Vallée Poussin in 1896 using ideas introduced by Bernhard Riemann (in particular, the Riemann zeta function).The first such distribution found is , where is the prime-counting function and is the natural logarithm of .This means that for large enough , the probability that a random integer not greater than is prime is very close to .