On the first sign change in Mertens' theorem
Jan Büthe (2015)
Acta Arithmetica
Similarity:
The function is known to change sign infinitely often, but so far all calculated values are positive. In this paper we prove that the first sign change occurs well before exp(495.702833165).