2^(k+1) <= ((2^k + 1)(2^(k+1) - 1))/(2^k) < 2^(k+1) + 1