Take log base 2: \( \frac{t}{3} \geq \log_2(16,000) \)