π(x) ~ x/ln x as x→∞ (Hadamard, de la Vallée Poussin 1896). Equivalent to ζ(s) having no zeros on ℜs=1; the error term sharpens under RH to O(√x log x) but the leading asymptotic is unconditional.
π(x) ~ x/ln x as x→∞ (Hadamard, de la Vallée Poussin 1896). Equivalent to ζ(s) having no zeros on ℜs=1; the error term sharpens under RH to O(√x log x) but the leading asymptotic is unconditional.