Câu hỏi 4
Tìm số nguyên dương $n$ thỏa mãn $$
\begin{aligned}&\lfloor\log_2 1\rfloor+\lfloor\log_2 2\rfloor+\lfloor\log_2 3\rfloor\\&\quad+\cdots+\lfloor\log_2 n\rfloor=1994.\end{aligned}
$$ (Đối với số thực $x,$ $\lfloor x\rfloor$ là số nguyên lớn nhất không vượt quá $x.$)
\begin{aligned}&\lfloor\log_2 1\rfloor+\lfloor\log_2 2\rfloor+\lfloor\log_2 3\rfloor\\&\quad+\cdots+\lfloor\log_2 n\rfloor=1994.\end{aligned}
$$ (Đối với số thực $x,$ $\lfloor x\rfloor$ là số nguyên lớn nhất không vượt quá $x.$)