https://en.m.wikipedia.org/wiki/De_Morgan%27s_laws

https://en.m.wikipedia.org/wiki/MathJax

https://en.m.wikipedia.org/wiki/Royal_Society

This theorem provides another justification for the definition of entropy
rate—it is the expected number of bits per symbol required to describe
the process