两个渐近公式

1. 关于阶乘的 Stirling 公式 $dps{n!sim sex{f{n}{e}}^n sqrt{2pi n}}$.

2. 记不超过 $x$ 的素数个数为 $pi(x)$, 则素数定理为 $dps{pi(x)sim f{x}{ln x} (x o+infty)}$.