数据压缩的理论极限是（）。