Entropy and Compression: A Simple Proof of an Inequality of Khinchin–Ornstein–Shields