logX < X 对所有 X > 0 成立？

肉眼证明。

我觉得原文漏了一条 x 为整数，否则用什么数学归纳法……

x = 1/2 的时候 log2 x = -1 啊

@ooxxcc 我也感觉是书的翻译问题
@est
@virusdefender
看错了，我看成以 x 为底的对数了（捂脸）。差点以为自己在数学上有了重大发现，但是那个归纳法还是看不太明白

求导数，看单调性，你就知道了

用导数容易证明
logx<x-1(x>1)

估计是算法里默认为正整数的缘故吧....

不知道证明的对不对, 一些限制条件自己加一下
https://ooo.0o0.ooo/2016/07/22/5791e360020de.jpg

看到标题吓得我以为我对数白学了。。。

这个不是高中数学的内容吗？

敢问楼主哪里的……

wait ，第一句话，“计算机科学中，对数都是以 2 为底的”，据我所知， log 默认都是以 e 为底的啊……

@SuperFashi e 底一般写成 ln

@blacktulip 这是数学表达，数学表达中 log 是 2 底， ln 是 e 底， lg 是 10 底

@SuperFashi 一般内置的数学函数是以 e 为底，但是在 CS 教材里面写 log 都是以 2 为底的。

可以看看这些相关的帖子：
https://approach0.xyz/search/?q=%24%5Clog%20x%5C%20%3C%5C%20x%24&p=1

令 x ＝ 2（ n∈R ），
即证明 n<2在 n∈R 时恒成立，
令 m （ n ）＝ 2－ n （ n∈R)，
因为(2－ n)'＝ 2ln2 － 1，
而 p （ m ）＝ 2ln2 － 1 在 n∈R 上，
且 n ＝ log （ loge ）时，2－ n ＝ 0，
所以 m(n)在(-∞，log(loge)］，在［ log(loge)，+∞），有最小值 m[log （ loge ）]，
所以只需证明最小值＞ 0 即可，因为
2^[log （ loge ）]-log(loge)＝ loge-log(loge)

@A1B2C3D4 ＝ log （ e/loge ）＝ log （ log2^e/loge ）
而 2^e/e ＞ 2/e ＝ 4/e ＞ 1
推出 log （ 4/e ）＞ 0
所以 log （ 2^e/e ）＞ log （ 4/e ）＞ 0
所以假设成立