Reduce[n < 8 Log[2, n], n]