Relation between Code Length and Symbol Weight in a Huffman Code
Yes. A Huffman code is optimal. If a less frequent symbol had a shorter code length than a more frequent symbol, then you could get a code with better performance by exchanging them.