Hadamard / de la Vallée Poussin 1896: π(x) ~ x / ln x. Equivalent to ζ(1+it) ≠ 0. Erdős-Selberg 1949 elementary-proof. Foundation of analytic-number-theory.
Hadamard / de la Vallée Poussin 1896: π(x) ~ x / ln x. Equivalent to ζ(1+it) ≠ 0. Erdős-Selberg 1949 elementary-proof. Foundation of analytic-number-theory.