Fuente TeX:

H(X) \leq E(l(X)) \le H(X) + 1