4 Encuentra el entero positivo $n$ para el cual \[ \lfloor \log_2{1}\rfloor+\lfloor\log_2{2}\rfloor+\lfloor\log_2{3}\rfloor+\cdots+\lfloor\log_2{n}\rfloor=1994. \] (Para $x$ real, $\lfloor x\rfloor$ es el mayor entero $\le x.$ )