因为a>1,所以由均值定理有：
a+1> 2√a
即(a+1)/2>√a
由于底数2>1,所以：
log2 [(a+1)/2] > log2 √a
即：log2 [(a+1)/2] > I1/2)*log2 a