Hadamard 1896 / de la Vallee-Poussin 1896 independent proofs: pi(x) ~ x/ln(x); zeros of zeta(s) on Re(s)=1 line ruled out via complex-analytic methods; Erdos-Selberg 1948 elementary proof.
Hadamard 1896 / de la Vallee-Poussin 1896 independent proofs: pi(x) ~ x/ln(x); zeros of zeta(s) on Re(s)=1 line ruled out via complex-analytic methods; Erdos-Selberg 1948 elementary proof.