“log(2)3”与4比较大小