Also known as Kraft–McMillan inequality
necessary and sufficient condition for the existence of a prefix code for a given set of codeword lengths
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).