\(\{ a_i \}\) の公倍数を \(n\) とする. このとき,

\[f(n-1) = \sum_{i=1}^N (a_i-1)\]

となる. これ以上大きい \(f(m)\) は存在し得ないので, これが最大値である.