Hace 15000 años, el ministerio Tilif en Persia decidió definir un código para $n\geq2$ ciudades. Cada código es una secuencia de $0,1$ tal que ningún código comienza con otro código. Sabemos que de $2^{m}$ llamadas de países extranjeros a Persia, $2^{m-a_{i}}$ de ellas fueron de la $i$ - ésima ciudad (Entonces $\sum_{i=1}^{n}\frac1{2^{a_{i}}}=1$ ) . Sea $l_{i}$ la longitud del código asignado a la $i$ - ésima ciudad. Demuestra que $\sum_{i=1}^{n}\frac{l_{i}}{2^{i}}$ es mínimo si y sólo si $\forall i,\ l_{i}=a_{i}$