Prove $(log {(n)})^k = O(n)$ by definition, not by limit

81 Views Asked by At

How can I prove $(log {(n)})^k = O(n)$ (for any constant $k > 0$) by definition, not by the limit?

By definition, that mean. there exists C, N such that: $$(log {(n)})^k = Cn$$ with $n > N.$ I tried by induction but fail.

My professor want to prove it without using limit method.

1

There are 1 best solutions below

4
On BEST ANSWER

Here's a series of steps/hints that'll take you there:

  1. Write $n = e^x$. Then you want to find a constant $C$ and $N$ so that for all $x \geq \log(N)$ we have $$x^k \leq C e^x\,.$$

  2. Show that for all $x > 0$, $\frac{x^k}{k!} < e^x$.


Edit: Misread the question, edited accordingly.