Mertens first theorem
= Mertens first theorem
{c}
The <prime sum> $\sum_{p\leq y}(\log p)/p=\log y+O(1)$ is the first Mertens theorem. It controls the mean logarithmic size in a <truncated Euler-product lower bound>.
= Mertens first theorem
{c}
The <prime sum> $\sum_{p\leq y}(\log p)/p=\log y+O(1)$ is the first Mertens theorem. It controls the mean logarithmic size in a <truncated Euler-product lower bound>.