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