试证明，对于任何 ε＞0 ，都有 logn = O(n^ε)

试证明，对于任何 $ϵ>0$ ，都有 $logn=O(n^{ϵ})$

---

（题源：数据结构习题详解-邓俊辉第3版。原版的解答并未从理论上严格证明，直接套用了“对数函数增长很慢，在n足够大时有lnn < εn”结论，然后进一步证明。此处给出严格证明，若有谬误敬请指出）

---

要证明 $logn=O(n^{ϵ})$ ，即证明：存在常数 $c$ 以及 $M>0$ ，使得当 $n>M$ 时，有 $lo{g}_{a}n<c\ast n^{ϵ}$ 。

令 $f(x)=c{x}^{ϵ}-lo{g}_{a}x,(x>0)$ ，则 $f^{\prime }(x)=cϵx^{ϵ-1}-\frac{1}{lna}{x}^{-1}=(cϵx^{ϵ}-\frac{1}{lna})x^{-1}$

由于 $ϵ>0$ ，$f^{\prime }(x)$ 有唯一的零点，且在零点左侧函数值为负，在零点右侧函数值为正

$f^{\prime }(x_0)=0，x_0^{ϵ}=\frac{1}{cϵlna}$ ，$f(x)$ 在定义域内先减后增，在 $x_0$ 处取最小值 $f(x_0)=c{x}_0^{ϵ}-\frac{(1/ϵ)ln{x}_0^{ϵ}}{lna}=1/(ϵlna)-(ln\frac{1}{cϵlna})/(ϵlna)=(1-ln\frac{1}{cϵlna})/(ϵlna)$ 。

当 $f^{\prime }(x_0)>0$ ，即 $1-ln\frac{1}{cϵlna}>0,c>\frac{1}{ϵlna}$ 时，$f(x)$ 在其定义域内恒为正。

取 $c=\frac{1}{ϵlna}+1$ ，对于 $\forall x>0$ 有 $lo{g}_{a}x<c\ast x^{ϵ}$ ，即对于任意正整数 $n$ 有 $lo{g}_{a}n<c\ast n^{ϵ}$ ，证毕。

本题的意义在于，证明了对数复杂度对于任意幂函数复杂度都是更低阶的。