ModSum - abc 139 d - tac

$x_1, ..., x_n$ を 1, ..., n の permutation として,
$x_1 \ mod \ 1 + x_2 \ mod \ 2 + ... + x_n \ mod \ n$ を最大化する.

$x_1, ..., x_n$ で, mod をとってできるだけ小さくならないようにする, と考えない.

mod をとる側で, できるだけ大きくしようとする.
mod 1 で最大は 0.
mod 2 で最大は 1.
のように.

$x_2 = 1, x_3 = 2, ..., x_n = n - 1, x_1 = n$ とすれば最大値が達成できる.