(О. Лысенков) Ваня преобразует видео с разрешением 3840×2160 пикселей в видео с разрешением 1280×720. Известно, что видео кодируется покадрово без применения технологий сжатия изображения. Никакие параметры видео, кроме размеров кадра, не меняются. Также известно, что звук кодируется отдельно и в ходе преобразования метод его кодирования не меняется. Во сколько раз размер преобразованного видео будет меньше оригинального, если известно, что общий размер изображений после преобразования втрое меньше размера аудиодорожки?