关于对数的有趣问题：lnx趋近于负无穷的速率与lnx趋近于正无穷的速率一样吗？对数的平方趋近于无穷的速率相当于x的几次方？

在最近的科研中，我遇到了一个有趣又不是很容易的问题，我需要了解对数的平方趋近于无穷的速率、倒数的对数趋近于0的速率，以及对数的平方的倒数趋近于0的速率。这些问题看上去都很容易的样子，毕竟对数函数是我们从高中起就在接触的函数。但当我尝试思考这些问题并试图给出解答的时候，我发现我太天真了，包含$(\ln x{)}^2$的函数要找一个多项式近似真的是不太容易。

---

我先举个例子介绍为什么这样的问题很重要。在贝叶斯统计理论中，我们非常关注先验分布的阶，用$p(\theta )$表示参数的先验密度，我们总是在试图找一个$\alpha >0$使得
$$m|\theta {|}^{-\alpha }\le p(\theta )\le M|\theta {|}^{-\alpha }$$

因为$\alpha$越小，即阶越小，那么参数的先验密度“尾巴”越厚，也就是$\theta$取值很大的数的概率就会更大，所以$\alpha$会影响参数的后验分布，进而影响基于后验分布做出的统计决策。一个在稀疏数据中非常常用的模型——Horseshoe估计，它的先验就满足这样的条件：
$$\frac{K}{2}\log (1+\frac{4}{{\theta }^2})<p(\theta )<K\log (1+\frac{2}{{\theta }^2}),K=(2{\pi }^3{)}^{-1/2}$$

当$\theta \to \infty$时，$1/{\theta }^2\to 0$，我们可以对$\log (1+\frac{2}{{\theta }^2})$用Taylor展开，
log ⁡ ( 1 + 2 θ 2 ) = ∑ i = 1 ∞ ( − 1 ) i − 1 ( 2 / θ 2 ) i i = 2 θ 2 + o ( θ − 2 ) \log(1+\frac{2}{\theta^2}) = \sum_{i=1}^{\infty}(-1)^{i-1}\frac{(2/\theta^2)^i}{i}=\frac{2}{\theta^2}+o(\theta^{-2}) log(1+θ22​)=i=1∑∞​(−1)i−1i(2/θ2)i​=θ22​+o(θ