Как рассчитать степень сжатия и относительную избыточность видеофайла 4K, который после сжатия превратился из 15 ГБ -> 12 ГБ?