The entropy bound for optimally compressed chess endgame tablebases
Entropy–tablebase bound. The relation
MathDB