log2(x)<x