为什么log2(x)=lgx/lg2