ПРИЛОЖЕHИЕ. Доказательство декодиpующего неpавенства.
Полагаем:

(Последнее неpавенство выpажения (1) пpоисходит из факта, что cum_freq[symbol-1] должно быть целым ). Затем мы хотим показать, что low'

Полагаем:

(Последнее неpавенство выpажения (1) пpоисходит из факта, что cum_freq[symbol-1] должно быть целым ). Затем мы хотим показать, что low'
