Hacker News new | ask | show | jobs
by mturmon 582 days ago
This is what I learned as the “theory of types” from Cover and Thomas, chapter 11, from original work by Imre Csiszar. See just under “theorem 6” in

https://web.stanford.edu/class/ee376a/files/2017-18/lecture_...

The key (which is not in OP) is not the construction of E log(p), but in being able to prove that the “typical set” exists (with arbitrarily high probability), and that the entropy is its size.