(IC 3.9) Source coding theorem (optimal lossless compression)

From a channel Lumen includes in full: This is a pure lecture channel. Every sampled title is a numbered entry in a systematic graduate-level course series on machine learning, information theory, coding, and measure-theoretic probability. All available transcripts show tablet-drawn derivations and definitions with no hype, promotion, or entertainment framing. Some transcripts are missing, but the course numbering and consistent content make the channel's educational intent unambiguous.

A 16-minute video from mathematicalmonk's catalogue; the title names its topic.

Video by mathematicalmonk, played through YouTube's embedded player.