Yep.. actually, this should be the "theoretical minimum" - like with normal entropy.

You also have to add side data necessary to represent the compressed spectrum, like huffman table indexes or tables themselves - also, each huffman codebook has its own performance on different signal statistics, etc..

So, for a particular coding system (like MP3) the formula is little bit more complicated.