>>744
max_i { |x_i| }

∃k, ∀i, |x_k| ≧ |x_i|
となっている時
|x_k| = max_i { |x_i| }
なのだから

両辺に |a|をかけて
|a| |x_k| ≧ |a| |x_i|
が、任意のiに対して成り立つ
即ち
max_i { |a| |x_i| } = |a| |x_k| = |a| max_i { |x_i| }