La función Mertens es la suma parcial de la función Moebius: $M(x)=\sum_{n\leq x}\mu(n)$ Dado que la función zeta tiene un cero en la línea crítica, se deduce que %-%-% para cualquier %-%-%.
¿Alguien sabe si hay una prueba elemental de esta declaración? (Por elemental me refiero a una prueba que no depende de un análisis complejo, en particular la existencia de un cero de %-%-%). incluso una prueba elemental de %-%-% de ser sin límite sería interesante para mí.
