A Source taking values in a discrete set is reliably encodable at rate if for each there is some such that: