Corollary 1.12. Assuming that:

  • X a random variable

Then H[X]0.