> A tautology if I ever heard one.

It's not a tautology, it's the asymptotic equipartition property.