2∧n>1/x怎样得到n>log2 1/x 请详解