证明底数为2的对数 logX 0)

问题描述:

证明底数为2的对数 logX 0)

定义函数f(x) = x-lnx/ln2
易知f(x)>0在(0,1]上成立.
f(1)=1
f'(x)=1-1/(xln2)>0 (1f'(x)=1-1/(xln2)>0 (1lnx/ln2