x/8 < log_2 x