¿Cómo puedo demostrar que $$\sum_{p\leq x}\log\left(1+\frac{1}{p}\right)=\sum_{p\leq x}\frac{1}{p}+A+\mathcal O\left(\frac{1}{\log(x)}\right).$$
Lo que se sabe es que $$\sum_{p\leq x}\left(\log\left(1+\frac{1}{p}\right)-\frac{1}{p}\right)=A+\mathcal o\left(1\right).$$
¿Puedo concluir directamente que el $o(1)$ también es un $\mathcal O\left(\frac{1}{\log(x)}\right) $ ? Si no, ¿cómo puedo concluir?
0 votos
A menos que cometa un error tonto: $\log(1+1/p)-1/p=O(1/p^2)$ y así $\sum_{p\leq x}(\log(1+1/p)-1/p)=A+O(\sum_{n>x}1/n^2)=A+O(1/x)$ (comparando la última suma con una integral)
0 votos
Sólo muestra $$\mathcal{O}\left(\frac{1}{\log (x)}\right)=o(1)$$ y ya está.
2 votos
@Shaun: Pero no creo que sea cierto. Estoy de acuerdo en que un $O\left(\frac{1}{\log(x)}\right)$ es un $o(1)$ pero no creo que lo contrario sea cierto. Por ejemplo $\frac{1}{\sqrt{\log(x)}}$ es un $o(1)$ pero no un $O\left(\frac{1}{\log(x)}\right)$ .