Fuente TeX:
H(X) \leq E(l(X))