[交流] 此问题已解决

22楼: Originally posted by feixiaolin at 2013-12-29 15:25:32
这个式子成立。
它等价于   sqrt(x)*(1+ln(x)*ln(x)/8)<=(1+x)/2
等号在 x=1时 成立
/8是一个很紧致的限。

另外一种形式，就是
sqrt(x)-ln(x)/8>=0;   ( x>0 )
...