梅滕斯第一与第二定理中的符号变化

我们证明了函数 $\sum_{p\leq x} (\log p)/p - \log x - E$ 与 $\sum_{p\leq x} 1/p - \log \log x -B$ 无穷多次变号，并且在特定假设下，它们表现出对正值的强烈偏倚。这些结果建立在 Diamond & Pintz 与 Lamzouri 近期关于梅滕斯乘积公式振荡的工作之上，并肯定地回答了 Rosser 和 Schoenfeld 提出的一个问题。