2*log2(3) < log2(12)