Do you know any good books on Big O


$f(n)=n+mathcal{O}(log{}n)$ ; $n>1$

It is correct to say this:

$f(n+1) geqslant mathcal{O}(log{}(n+1)) – mathcal{O}(log{}n)$

If it is correct or incorrect, how can I prove it?

Tks!