已知 $\prod m_i\le10^{18}$ ，请问如何分配 $m_i$ 使 $\sum m_i-\max\{m_i\}$ 最大

个人感觉是 $m_i$ 平均最大，但不会证qwq