Ответ:

Размер файла неизменен, поэтому время скачивания обратно пропорционально скорости. Обозначим новое время через \(t\):

\(20\cdot6=15t\).

\(t=\frac{20\cdot6}{15}=8\) минут.

Ответ: 8 минут.