Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Discrete mathematics, continuous mathematics and probability (resit) / 3 / d / i / Solution

Use natural logarithms; the same argument works for any fixed base greater than $1$. The function $\log \log x$ is increasing for $x>1$, since its derivative is $1/(x\log x)>0$. With natural logs the sole negative summand is at $i=2$. Put $C_0=|\log \log 2|$.

For all sufficiently large $n$ with $\log \log n\ge 1$, monotonicity and the triangle inequality giveThese are fixed constants and an eventual bound, provingFor another fixed logarithm base there are still only finitely many negative initial terms, which are absorbed in $C_0$.