(большого) алфавита. Поэтому различные выводы, полученные ранее, могут быть использованы и здесь. В частности, есть выпуклая вниз функция.
Определим теперь для данного источника функцию скорости искажения относительно рассматриваемой меры искажения
Можно показать прямыми, но трудоемкими рассуждениями, которые не приводятся, что в этом равенстве можно заменить нижний предел на обычный. Другими словами, стремится к пределу, когда .
Теперь можно доказать теорему кодирования для произвольного эргодического источника с мерой локального искажения.