Total length lower bound for a decipherable binary code
= Total length lower bound for a decipherable binary code
If a decipherable binary code has $N$ codewords of lengths $l_1,\ldots,l_N$, then
$$
\sum_{i=1}^N l_i\geq N\log_2N.
$$
This follows by applying the entropy lower bound with the uniform source distribution.