Slepian–Wolf bound