>>405

mod(sup{x_k : k∈K}) ではなく、
sup{mod(x_k) : k∈K} だと思うのですが…