证明底数为2的对数 logX < X (X>0)

证明底数为2的对数 logX < X (X>0)
证明底数为2的对数 logX < X (X>0)

证明底数为2的对数 logX < X (X>0)
定义函数f(x) = x-lnx/ln2
易知f(x)>0在(0,1]上成立.
f(1)=1
f'(x)=1-1/(xln2)>0 (1