Dada una fuente de formula_1 símbolos a codificar con un alfabeto de formula_2 símbolos utilizando un conjunto de formula_1 palabras de longitudes formula_4 a formula_5, la desigualdad de Kraft corresponde a: