I have to prove that for $a \in N, c > 0$ (constants), this statement holds:
$\log_a(n + c) \in O(\log_a(n))$
So if I use the definition, the following should hold:
$\log_a(n + c) \leq d\log_a(n) = \log_a (n^d), \forall n \geq n_0, d > 0$
I have to find $n_0, d$ now
$n + c \leq n^d$
But how can I express $d$ so it depends only on $c$? How to continue from here? Thanks for any help!
I'm omitting the $a$ from the notations, as the base of the logarithm doesn't change anything. For fixed $c > 0$, and any $n \geq 1$, $$ \log(n+c) = \log\left(n\left(1+\frac{c}{n}\right)\right) = \log n + \log\left(1+\frac{c}{n}\right)\;. $$ But $\log\left(1+\frac{c}{n}\right) \xrightarrow[n\to\infty]{} 0$, so in particular it is less than $\log n$ (which goes to $\infty$) for $n$ "sufficiently large" (i.e., $\exists n_0, \forall n \geq n_0\; \log\left(1+\frac{c}{n}\right)\leq \log n$). Hence, for $n$ sufficiently large $$ \log(n+c) \leq 2\log n $$ proving the result.